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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - cousin
cousin

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23105-23107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23108-23108 表姐, 1 and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23109-23109 表姐, 2 and Human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23111-23111 表姐 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23110-23110 子關係 表姐 and 家庭關係

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 23113-23128 Human Humancousins 女人 Humangrandmother 女人 Humangrandfather Humangrandmother 女人 Humangrandfather Organism Organism 母親 Human and Organism 父親 Human and Organism 母親 Human and Organism 父親 Human and Organism


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



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