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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WarmBloodedVertebrate
WarmBloodedVertebrate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14552-14552 不相交的 WarmBloodedVertebrate and ColdBloodedVertebrate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3413-3413
No TPTP formula. May not be expressible in strict first order. Merge.kif 14553-14554
No TPTP formula. May not be expressible in strict first order. Merge.kif 14551-14551 子類 WarmBloodedVertebrate and Vertebrate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14561-14561 子類 Bird and WarmBloodedVertebrate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14580-14580 子類 Mammal and WarmBloodedVertebrate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 986-986
No TPTP formula. May not be expressible in strict first order. english_format.kif 1179-1179
No TPTP formula. May not be expressible in strict first order. french_format.kif 663-663
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 194-194
No TPTP formula. May not be expressible in strict first order. terms-it.txt 197-197
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2347-2347
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 615-615
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 231-231
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 684-684
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 198-198


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