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 16538-16540
No TPTP formula. May not be expressible in strict first order. Merge.kif 16536-16536 Le nombre 1 argument de sibling est une instance de organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16537-16537 Le nombre 2 argument de sibling est une instance de organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16531-16531 sibling est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 16535-16535 sibling est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 16532-16532 sibling est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 16534-16534 sibling est une instance de relation sym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 16533-16533 sibling est une sous-relation 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 16570-16570 brother est une sous-relation de sibling
No TPTP formula. May not be expressible in strict first order. Merge.kif 16579-16579 sister est une sous-relation de sibling
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52924-52924
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 52923-52923
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52922-52922

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16552-16556

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23161-23166 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 23175-23180 niece Woman and humain organisme organisme est un fr�re ou une soeur de humain daughter Woman and organisme
No TPTP formula. May not be expressible in strict first order. Merge.kif 16542-16550
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7520-7527


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