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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - son
son

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3697-3698
No TPTP formula. May not be expressible in strict first order. Merge.kif 16452-16454
No TPTP formula. May not be expressible in strict first order. Merge.kif 16450-16450 The number 1 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16451-16451 The number 2 argument of son is an instance of organism
No TPTP formula. May not be expressible in strict first order. Merge.kif 16449-16449 son is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 16448-16448 son is a subrelation of parent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4570-4570
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4569-4569
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4568-4568
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53940-53940
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53939-53939
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53938-53938

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16456-16458

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23109-23114 A man is the nephew of a human if and only if there exists an organism such that the organism is a sibling of the human and the man is the son of the organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23027-23031
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 654-660
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 702-708
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 678-684
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 726-732


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