|
|
   SymmetricRelation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2261-2261 | Symmetric relation is disjoint from antisymmetric relation |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1837-1838 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2263-2265 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 457-458 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2260-2260 | Symmetric relation is a subclass of binary relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23029-23029 | cohabitant is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6486-6486 | conjugate is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9538-9538 | connected is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16164-16164 | connected engineering components is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16974-16974 | consistent is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23006-23006 | coworker is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4507-4507 | diplomatic relations is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 394-394 | disjoint is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23413-23413 | domestic partner is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2450-2450 | enemy is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22994-22994 | friend is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2632-2632 | independent probability is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 109-109 | inverse is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16589-16589 | legal relation is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9608-9608 | meets spatially is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16616-16616 | mutual acquaintance is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23398-23398 | mutual stranger is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6657-6657 | neighbor is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18151-18151 | opposite direction is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4444-4444 | managed orthogonal is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9646-9646 | overlap partially is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4036-4036 | overlap spatially is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8262-8262 | overlap temporally is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3768-3768 | related event is an instance of symmetric relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16534-16534 | sibling is an instance of symmetric relation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2267-2272 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3714-3719 |
|
|
|
|