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 | Le nombre 1 argument de disjointRelation est une instance de relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 413-413 | Le nombre 2 argument de disjointRelation est une instance de relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 409-409 | disjointRelation est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 410-410 | disjointRelation est une instance de relation irr�flexive |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 411-411 | disjointRelation est une instance de relation partielle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 414-414 | disjointRelation est reli� � l'int�rieur de SUMO � 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 et subOrganization sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1018-1018 | contains et part sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4200-4200 | crosses et connected sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2600-2600 | decreasesLikelihood et independentProbability sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4013-4013 | deprivesNorm et confersNorm sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7438-7438 | disapproves et desires sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7422-7422 | dislikes et wants sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2598-2598 | increasesLikelihood et decreasesLikelihood sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2599-2599 | increasesLikelihood et independentProbability sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1734-1734 | manner et attribute sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9596-9596 | meetsSpatially et overlapsSpatially sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23357-23357 | mutualStranger et mutualAcquaintance sont disjoint |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1679-1679 | referee et plays sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2514-2514 | resource et instrument sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2513-2513 | resource et result sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2515-2515 | result et instrument sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23372-23372 | spouse et domesticPartner sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14415-14415 | stays et home sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23342-23342 | stranger et acquaintance sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 684-684 | subAttribute et successorAttribute sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 643-643 | subsumedExternalConcept et subsumingExternalConcept sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 641-641 | synonymousExternalConcept et subsumedExternalConcept sont disjoint |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 642-642 | synonymousExternalConcept et subsumingExternalConcept sont disjoint |