|
|
   SymmetricRelation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2261-2261 | Relation sym�trique est disjoint de relation antisym�trique |
| 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 | Relation sym�trique est une sous-classe de relation binaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22976-22976 | cohabitant est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6491-6491 | conjugate est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9524-9524 | connected est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16114-16114 | connectedEngineeringComponents est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16925-16925 | consistent est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22953-22953 | coworker est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4543-4543 | diplomaticRelations est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 394-394 | disjoint est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23360-23360 | domesticPartner est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2450-2450 | enemy est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22941-22941 | friend est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2632-2632 | independentProbability est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 109-109 | inverse est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16540-16540 | legalRelation est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9594-9594 | meetsSpatially est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16567-16567 | mutualAcquaintance est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23345-23345 | mutualStranger est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6662-6662 | neighbor est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18123-18123 | oppositeDirection est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4444-4444 | orthogonalTests est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9632-9632 | overlapsPartially est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4035-4035 | overlapsSpatially est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8248-8248 | overlapsTemporally est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3767-3767 | relatedEvent est une instance de relation sym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16485-16485 | sibling est une instance de relation sym�trique |
| 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 3713-3718 |
|
|
|
|