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

Formal Language: 



KB Term:  Term intersection
English Word: 

  cousin

 Sigma KEE - cousin
cousin

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23053-23055
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23056-23056 The number 1 argument of cousin is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23057-23057 The number 2 argument of cousin is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23059-23059 cousin is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23058-23058 cousin is a subrelation of family relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3134-3134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3133-3133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3132-3132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17652-17652
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17651-17651
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17650-17650

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23061-23076 A human and another human are cousins if and only if there exist a woman and a man such that the grandmother of the human is the woman and the grandfather of the human is the man and the grandmother of the other human is the woman and the grandfather of the other human is the man and there don't exist an organism and another organism such that the organism is a mother of the human and the other organism is a father of the human and the organism is a mother of the other human and the other organism is a father of the other human


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