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

Formal Language: 



KB Term:  Term intersection
English Word: 

  sibling

 Sigma KEE - sibling
sibling

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3699-3700
No TPTP formula. May not be expressible in strict first order. Merge.kif 16467-16469
No TPTP formula. May not be expressible in strict first order. Merge.kif 16465-16465 O argumento numero 1 de sibling e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order. Merge.kif 16466-16466 O argumento numero 2 de sibling e' uma instancia de Organismo
No TPTP formula. May not be expressible in strict first order. Merge.kif 16460-16460 sibling e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 16464-16464 sibling e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 16461-16461 sibling e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 16463-16463 sibling e' uma instancia de Relacao Simetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 16462-16462 sibling e' uma sub-relacao de familyRelation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 529-529
No TPTP formula. May not be expressible in strict first order. english_format.kif 534-534
No TPTP formula. May not be expressible in strict first order. french_format.kif 312-312
No TPTP formula. May not be expressible in strict first order. relations-it.txt 261-261
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2080-2080
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 264-264
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 318-318
No TPTP formula. May not be expressible in strict first order. relations-de.txt 689-689
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 298-298
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 333-333
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 343-343
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 453-453
No TPTP formula. May not be expressible in strict first order. Merge.kif 16499-16499 brother e' uma sub-relacao de sibling
No TPTP formula. May not be expressible in strict first order. Merge.kif 16508-16508 sister e' uma sub-relacao de sibling
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52922-52922
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 530-530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52921-52921
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52920-52920

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 16481-16485

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23109-23114 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 23123-23128 niece Woman and Humano Organismo Organismo e' um irmao ou uma irma de Humano daughter Woman and Organismo
No TPTP formula. May not be expressible in strict first order. Merge.kif 16471-16479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7493-7500


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