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

Formal Language: 



KB Term:  Term intersection
English Word: 

  son

 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 Le nombre 1 argument de son est une instance de organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16451-16451 Le nombre 2 argument de son est une instance de organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16449-16449 son est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 16448-16448 son est une sous-relation de 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 nephew Man and humain organisme organisme est un fr�re ou une soeur de humain son Man and organisme
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 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