TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3432-3433
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14622-14624
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 969-969
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 76-76
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 75-75
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14621-14621	Roedor e' uma sub-classe de Mamifero

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1204-1204	biologicalAgentCarrier FrancisellaTularensis and Roedor
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1365-1365	biologicalAgentCarrier GiardiaLamblia and Roedor
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1925-1925	biologicalAgentCarrier JuninVirus and Roedor
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1660-1660	biologicalAgentCarrier LaCrosseVirus and Roedor
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1860-1860	biologicalAgentCarrier LassaVirus and Roedor
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1938-1938	biologicalAgentCarrier MachupoVirus and Roedor
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1404-1404	biologicalAgentCarrier Myxomatosis and Roedor
No TPTP formula. May not be expressible in strict first order.	WMD.kif 407-407	biologicalAgentCarrier YersiniaPestis and Roedor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30603-30603	GuineaPig e' uma sub-classe de Roedor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30615-30615	Hamster e' uma sub-classe de Roedor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20378-20378	Mouse e' uma sub-classe de Roedor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20386-20386	Rabbit e' uma sub-classe de Roedor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20382-20382	Rat e' uma sub-classe de Roedor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20396-20396	Squirrel e' uma sub-classe de Roedor
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 997-997
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1201-1201
No TPTP formula. May not be expressible in strict first order.	french_format.kif 674-674
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 205-205
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 208-208
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2358-2358
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 626-626
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 210-210
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 242-242
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 695-695

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 5

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14581-14581

Mamifero e' disjuntamente decomponivel em Mamifero Aquatico, Ungulado, Marsupial, Roedor, + Primata

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

KB Term:			Term intersection

English Word: