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 16474-16476
No TPTP formula. May not be expressible in strict first order. Merge.kif 16472-16472 Le nombre 1 argument de son est une instance de organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16473-16473 Le nombre 2 argument de son est une instance de organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16471-16471 son est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 16470-16470 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 16478-16480

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23108-23113 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 23026-23030
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