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 O argumento numero 1 de son e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order. Merge.kif 16473-16473 O argumento numero 2 de son e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order. Merge.kif 16471-16471 son e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 16470-16470 son e' uma sub-relacao 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 Humano Organismo Organismo e' um irmao ou uma irma de Humano son Man and Organismo
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