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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mammal

 Sigma KEE - Mammal
Mammal(mammif�re)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14627-14627 Mammif�re est disjointement decompos� en mammif�re aquatique, ongul�, marsupial, rongeur, + primate
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 14628-14630
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 14626-14626 Mammif�re est une sous-classe de vert�br� � sang chaud

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 356-356 biologicalAgentCarrier BurkholderiaMallei and mammif�re
No TPTP formula. May not be expressible in strict first order. WMD.kif 372-372 biologicalAgentCarrier BurkholderiaPseudomallei and mammif�re
No TPTP formula. May not be expressible in strict first order. WMD.kif 1235-1235 biologicalAgentCarrier MonkeypoxVirus and mammif�re
No TPTP formula. May not be expressible in strict first order. WMD.kif 247-247 biologicalAgentCarrier RickettsialAgent and mammif�re
No TPTP formula. May not be expressible in strict first order. Merge.kif 14608-14608 Oiseau est disjoint de mammif�re
No TPTP formula. May not be expressible in strict first order. WMD.kif 1976-1976 parasitic Louse and mammif�re
No TPTP formula. May not be expressible in strict first order. WMD.kif 1987-1987 parasitic Tick and mammif�re
No TPTP formula. May not be expressible in strict first order. Merge.kif 14632-14632 Mammif�re aquatique est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Economy.kif 4918-4918 Camel est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Merge.kif 14644-14644 Carnivore est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30609-30609 Ferret est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20089-20089 Herbivore est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Merge.kif 14636-14636 Ongul� est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20345-20345 Llama est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30644-30644 MammalCub est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Merge.kif 14640-14640 Marsupial est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Merge.kif 14672-14672 Primate est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30456-30456 Rhinoceros est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Merge.kif 14667-14667 Rongeur est une sous-classe de mammif�re
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20354-20354 Skunk est une sous-classe de mammif�re
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 10467-10467 Le nombre 1 argument de diastolicBloodPressure est une instance de mammif�re
No TPTP formula. May not be expressible in strict first order. Medicine.kif 334-334 Le nombre 1 argument de restingBreathingRate est une instance de mammif�re
No TPTP formula. May not be expressible in strict first order. Medicine.kif 114-114 Le nombre 1 argument de restingHeartRate est une instance de mammif�re
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10455-10455 Le nombre 1 argument de systolicBloodPressure est une instance de mammif�re
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5927-5927 Le nombre 1 argument de typicalBloodVolume est une sous-classe de mammif�re

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 11813-11819
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10897-10904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10226-10233


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