Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  disjointRelation

 Sigma KEE - disjointRelation
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 24170-24170 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 7439-7439 disapproves et desires sont disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7423-7423 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 9574-9574 meetsSpatially et overlapsSpatially sont disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23358-23358 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 23373-23373 spouse et domesticPartner sont disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 14393-14393 stays et home sont disjoint
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23343-23343 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners