|
|
   SymmetricRelation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2261-2261 | Relacao Simetrica e' disjunto de Relacao Anti-simetrica |
| 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 | Relacao Simetrica e' uma sub-classe de Relacao Binaria |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22977-22977 | cohabitant e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6492-6492 | conjugate e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9502-9502 | connected e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16092-16092 | connectedEngineeringComponents e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16903-16903 | consistent e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22954-22954 | coworker e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4543-4543 | diplomaticRelations e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 394-394 | disjoint e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23361-23361 | domesticPartner e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2450-2450 | enemy e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22942-22942 | friend e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2632-2632 | independentProbability e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 109-109 | inverse e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16518-16518 | legalRelation e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9572-9572 | meetsSpatially e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16545-16545 | mutualAcquaintance e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23346-23346 | mutualStranger e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6663-6663 | neighbor e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18124-18124 | oppositeDirection e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4444-4444 | orthogonalTests e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9610-9610 | overlapsPartially e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4035-4035 | overlapsSpatially e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8226-8226 | overlapsTemporally e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3767-3767 | relatedEvent e' uma instancia de Relacao Simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16463-16463 | sibling e' uma instancia de Relacao Simetrica |
| 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 |
|
|
|
|