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

Formal Language: 



KB Term:  Term intersection
English Word: 

  grandfather

Sigma KEE - grandfather
grandfather

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23078-23079
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23080-23080 The number 1 argument of grandfather is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23081-23081 The number 2 argument of grandfather is an instance of man
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23019-23019 grandfather is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23018-23018 grandfather is a subrelation of grandparent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3538-3538
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3537-3537
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3536-3536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26394-26394
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26393-26393
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26392-26392

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23083-23088

consequent
-------------------------


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