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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mammal
Mammal(Mamifero)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14603-14603 Mamifero e' disjuntamente decomponivel em Mamifero Aquatico, Ungulado, Marsupial, Roedor, + Primata
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3419-3420
No TPTP formula. May not be expressible in strict first order. Merge.kif 14604-14606
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4773-4773
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 43-43
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 44-44
No TPTP formula. May not be expressible in strict first order. Merge.kif 14602-14602 Mamifero e' uma sub-classe de Vertebrado de Sangue Quente

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 356-356 biologicalAgentCarrier BurkholderiaMallei and Mamifero
No TPTP formula. May not be expressible in strict first order. WMD.kif 372-372 biologicalAgentCarrier BurkholderiaPseudomallei and Mamifero
No TPTP formula. May not be expressible in strict first order. WMD.kif 1235-1235 biologicalAgentCarrier MonkeypoxVirus and Mamifero
No TPTP formula. May not be expressible in strict first order. WMD.kif 247-247 biologicalAgentCarrier RickettsialAgent and Mamifero
No TPTP formula. May not be expressible in strict first order. Merge.kif 14584-14584 Passaro e' disjunto de Mamifero
No TPTP formula. May not be expressible in strict first order. WMD.kif 1976-1976 parasitic Louse and Mamifero
No TPTP formula. May not be expressible in strict first order. WMD.kif 1987-1987 parasitic Tick and Mamifero
No TPTP formula. May not be expressible in strict first order. Merge.kif 14608-14608 Mamifero Aquatico e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Economy.kif 4918-4918 Camel e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Merge.kif 14620-14620 Carnivoro e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30573-30573 Ferret e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20061-20061 Herbivore e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Merge.kif 14612-14612 Ungulado e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20317-20317 Llama e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30608-30608 MammalCub e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Merge.kif 14616-14616 Marsupial e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Merge.kif 14648-14648 Primata e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30420-30420 Rhinoceros e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Merge.kif 14643-14643 Roedor e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20326-20326 Skunk e' uma sub-classe de Mamifero
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 990-990
No TPTP formula. May not be expressible in strict first order. english_format.kif 1187-1187
No TPTP formula. May not be expressible in strict first order. french_format.kif 667-667
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 198-198

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10439-10439 O argumento numero 1 de diastolicBloodPressure e' uma instancia de Mamifero
No TPTP formula. May not be expressible in strict first order. Medicine.kif 334-334 O argumento numero 1 de restingBreathingRate e' uma instancia de Mamifero
No TPTP formula. May not be expressible in strict first order. Medicine.kif 114-114 O argumento numero 1 de restingHeartRate e' uma instancia de Mamifero
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10427-10427 O argumento numero 1 de systolicBloodPressure e' uma instancia de Mamifero
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5927-5927 O argumento numero 1 de typicalBloodVolume e' uma sub-classe de Mamifero

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4853-4860
No TPTP formula. May not be expressible in strict first order. Medicine.kif 67-78
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11785-11791
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10869-10876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10198-10205


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