disjointRelation |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1502-1503 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 415-417 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 65-67 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 75-77 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 412-412 | O argumento numero 1 de disjointRelation e' uma instancia de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 413-413 | O argumento numero 2 de disjointRelation e' uma instancia de Relacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 409-409 | disjointRelation e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 410-410 | disjointRelation e' uma instancia de Relacao Irreflexiva |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 411-411 | disjointRelation e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 414-414 | disjointRelation e' relacionado internamente por SUMO a disjoint |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 289-289 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 294-294 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 167-167 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 77-77 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1987-1987 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 119-119 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 111-111 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 183-183 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 376-376 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 117-117 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 187-187 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 174-174 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 170-170 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 290-290 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19860-19860 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19859-19859 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19858-19858 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 117-117 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 447-453 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 419-424 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 426-431 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 433-438 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 440-445 |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24169-24169 | ancestorOrganization e subOrganization sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1018-1018 | contains e part sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4200-4200 | crosses e connected sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2600-2600 | decreasesLikelihood e independentProbability sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4013-4013 | deprivesNorm e confersNorm sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7438-7438 | disapproves e desires sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7422-7422 | dislikes e wants sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2598-2598 | increasesLikelihood e decreasesLikelihood sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2599-2599 | increasesLikelihood e independentProbability sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1734-1734 | manner e attribute sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9596-9596 | meetsSpatially e overlapsSpatially sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23357-23357 | mutualStranger e mutualAcquaintance sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1679-1679 | referee e plays sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2514-2514 | resource e instrument sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2513-2513 | resource e result sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2515-2515 | result e instrument sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23372-23372 | spouse e domesticPartner sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14415-14415 | stays e home sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23342-23342 | stranger e acquaintance sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 684-684 | subAttribute e successorAttribute sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 643-643 | subsumedExternalConcept e subsumingExternalConcept sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 641-641 | synonymousExternalConcept e subsumedExternalConcept sao disjuntos |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 642-642 | synonymousExternalConcept e subsumingExternalConcept sao disjuntos |
![]() |
![]() |