Formula | *documentation* A syntactically well-formed formula in the SUO-KIF knowledge representation language | |

**has axiom** (=> (*and* (*instance* ?INVESTIGATE Investigating) (*patient* ?INVESTIGATE ?PROP)) (*instance* ?PROP Formula))
| |

**is first ***domain* of *<=>* | |

**is first ***domain* of => | |

**is first ***domain* of *and* | |

**is first ***domain* of *entails* | |

**is first ***domain* of *not* | |

**is first ***domain* of or | |

**is second ***domain* of *<=>* | |

**is second ***domain* of => | |

**is second ***domain* of *and* | |

**is second ***domain* of *believes* | |

**is second ***domain* of *considers* | |

**is second ***domain* of *desires* | |

**is second ***domain* of *entails* | |

**is second ***domain* of *hasPurpose* | |

**is second ***domain* of *hasPurposeForAgent* | |

**is second ***domain* of *holdsDuring* | |

**is second ***domain* of *KappaFn* | |

**is second ***domain* of *knows* | |

**is second ***domain* of or | |

**is a kind of** Sentence | |

LinguisticExpression | **is ***disjoint* from Icon | |

ContentBearingObject | **has ***relatedInternalConcept* *containsInformation* | |

Object | **is third ***domain* of *between* | |

**is third ***domain* of *capability* | |

**is third ***domain* of *connects* | |