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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Meal

 Sigma KEE - sister
sister

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3703-3704
No TPTP formula. May not be expressible in strict first order. Merge.kif 16514-16515
No TPTP formula. May not be expressible in strict first order. Merge.kif 16512-16512 O argumento numero 1 de sister e' uma instancia de Woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16513-16513 O argumento numero 2 de sister e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Merge.kif 16509-16509 sister e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 16511-16511 sister e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 16510-16510 sister e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 16508-16508 sister e' uma sub-relacao de sibling

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4522-4522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4521-4521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4520-4520
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53246-53246
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53245-53245
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53244-53244

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23046-23051 aunt Woman and Humano Humano sister Woman and Humano Humano e' um genitor de Humano
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 714-720
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 630-636
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 595-600
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 738-744
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 642-648
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 726-732
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 584-589


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