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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mothersSistersSon

 Sigma KEE - mothersSistersSon
mothersSistersSon

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 724-725
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 722-722 mothers sisters son is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 723-723 mothers sisters son is a subrelation of family relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3910-3910
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3909-3909
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3908-3908
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38715-38715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38714-38714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38713-38713

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 726-732


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