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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 16536-16537
No TPTP formula. May not be expressible in strict first order. Merge.kif 16534-16534 O argumento numero 1 de sister e' uma instancia de Woman
No TPTP formula. May not be expressible in strict first order. Merge.kif 16535-16535 O argumento numero 2 de sister e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order. Merge.kif 16531-16531 sister e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 16533-16533 sister e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 16532-16532 sister e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 16530-16530 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 23045-23050 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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