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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Storm

 Sigma KEE - Mammal
Mammal(哺乳動物)

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


(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate) Merge.kif 14734-14734 哺乳動物 は 水生哺乳類［動物］, 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に disjointly decomposed
(documentation Mammal ChineseLanguage "这是一种有恒常体温的 Vertebrate，身上的毛发、乳腺和 汗腺是它们的特征。") chinese_format.kif 3419-3420 哺乳動物 は 水生哺乳類［動物］, 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に disjointly decomposed
(documentation Mammal EnglishLanguage "A Vertebrate having a constant body temperature and characterized by the presence of hair, mammary glands, and sweat glands.") Merge.kif 14735-14737 哺乳動物 は 水生哺乳類［動物］, 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に disjointly decomposed
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/6/69/ Friesian_Holstein.jpg") pictureList.kif 4772-4772 哺乳動物 は 水生哺乳類［動物］, 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に disjointly decomposed
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 2d/ Cane_corso_głowa_profil_493o.jpg/ 210px_Cane_corso_głowa_profil_493o.jpg") pictureList-ImageNet.kif 43-43 哺乳動物 は 水生哺乳類［動物］, 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に disjointly decomposed
(externalImage Mammal "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ab/ House_mouse.jpg/ 180px_House_mouse.jpg") pictureList-ImageNet.kif 44-44 哺乳動物 は 水生哺乳類［動物］, 有蹄哺乳動物, 有袋動物, 齧歯動物, + 霊長類 に disjointly decomposed
(subclass Mammal WarmBloodedVertebrate) Merge.kif 14733-14733 哺乳動物 は 温血脊椎動物 の subclass では

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


(biologicalAgentCarrier BurkholderiaMallei Mammal) WMD.kif 356-356 biologicalAgentCarrier BurkholderiaMallei and 哺乳動物
(biologicalAgentCarrier BurkholderiaPseudomallei Mammal) WMD.kif 372-372 biologicalAgentCarrier BurkholderiaPseudomallei and 哺乳動物
(biologicalAgentCarrier MonkeypoxVirus Mammal) WMD.kif 1235-1235 biologicalAgentCarrier MonkeypoxVirus and 哺乳動物
(biologicalAgentCarrier RickettsialAgent Mammal) WMD.kif 247-247 biologicalAgentCarrier RickettsialAgent and 哺乳動物
(disjoint Bird Mammal) Merge.kif 14715-14715 鳥 と 哺乳動物 は disjoint では
(parasitic Louse Mammal) WMD.kif 1976-1976 parasitic Louse and 哺乳動物
(parasitic Tick Mammal) WMD.kif 1987-1987 parasitic Tick and 哺乳動物
(subclass AquaticMammal Mammal) Merge.kif 14739-14739 水生哺乳類［動物］ は 哺乳動物 の subclass では
(subclass Camel Mammal) Economy.kif 5258-5258 Camel は 哺乳動物 の subclass では
(subclass Ferret Mammal) Mid-level-ontology.kif 32519-32519 Ferret は 哺乳動物 の subclass では
(subclass HoofedMammal Mammal) Merge.kif 14743-14743 有蹄哺乳動物 は 哺乳動物 の subclass では
(subclass Llama Mammal) Mid-level-ontology.kif 21935-21935 Llama は 哺乳動物 の subclass では
(subclass MammalCub Mammal) Mid-level-ontology.kif 32554-32554 MammalCub は 哺乳動物 の subclass では
(subclass Marsupial Mammal) Merge.kif 14747-14747 有袋動物 は 哺乳動物 の subclass では
(subclass Primate Mammal) Merge.kif 14779-14779 霊長類 は 哺乳動物 の subclass では
(subclass Rhinoceros Mammal) Mid-level-ontology.kif 32366-32366 Rhinoceros は 哺乳動物 の subclass では
(subclass Rodent Mammal) Merge.kif 14774-14774 齧歯動物 は 哺乳動物 の subclass では
(subclass Skunk Mammal) Mid-level-ontology.kif 21944-21944 Skunk は 哺乳動物 の subclass では
(termFormat ChineseLanguage Mammal "哺乳动物") chinese_format.kif 990-990 Skunk は 哺乳動物 の subclass では
(termFormat EnglishLanguage Mammal "mammal") english_format.kif 1187-1187 Skunk は 哺乳動物 の subclass では
(termFormat FrenchLanguage Mammal "mammif�re") french_format.kif 667-667 Skunk は 哺乳動物 の subclass では
(termFormat Hindi Mammal "stanapaayI") terms-hindi.txt 198-198 Skunk は 哺乳動物 の subclass では
(termFormat ItalianLanguage Mammal "Mammifero") terms-it.txt 201-201 Skunk は 哺乳動物 の subclass では
(termFormat JapaneseLanguage Mammal "哺乳動物") japanese_format.kif 2351-2351 Skunk は 哺乳動物 の subclass では

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain diastolicBloodPressure 1 Mammal) Mid-level-ontology.kif 11771-11771 diastolicBloodPressure の数値 1 引数は 哺乳動物 の instance では
(domain restingBreathingRate 1 Mammal) Medicine.kif 322-322 restingBreathingRate の数値 1 引数は 哺乳動物 の instance では
(domain restingHeartRate 1 Mammal) Medicine.kif 114-114 restingHeartRate の数値 1 引数は 哺乳動物 の instance では
(domain systolicBloodPressure 1 Mammal) Mid-level-ontology.kif 11759-11759 systolicBloodPressure の数値 1 引数は 哺乳動物 の instance では
(domainSubclass typicalBloodVolume 1 Mammal) Medicine.kif 5944-5944 typicalBloodVolume の数値 1 引数は 哺乳動物 のsubclass では

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


(=>
    (instance ?A Anticoagulant)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M Mammal)
                (experiencer ?M
                    (ImpairmentFn Clotting))))))		 Medicine.kif 4860-4867
(=>
    (instance ?AT ApplyingTourniquet)
    (exists (?A ?P ?T)
        (and
            (instance ?A Agent)
            (instance ?P Mammal)
            (holdsDuring
                (WhenFn ?AT)
                (attribute ?T Tourniquet))
            (destination ?AT ?P)
            (agent ?AT ?A)
            (objectTransferred ?AT ?T))))		 Medicine.kif 67-78
(=>
    (instance ?HAIR Hair)
    (exists (?MAMMAL ?TIME)
        (and
            (instance ?MAMMAL Mammal)
            (holdsDuring ?TIME
                (part ?HAIR ?MAMMAL)))))		 Mid-level-ontology.kif 13117-13123
(=>
    (instance ?MILK Milk)
    (exists (?PROCESS ?MAMMAL)
        (and
            (instance ?MAMMAL Mammal)
            (attribute ?MAMMAL Female)
            (instrument ?PROCESS ?MAMMAL)
            (result ?PROCESS ?MILK))))		 Mid-level-ontology.kif 12201-12208
(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))		 Mid-level-ontology.kif 11528-11535


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