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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FootAndMouthVirus

Sigma KEE - FootAndMouthVirus
FootAndMouthVirus

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


(documentation FootAndMouthVirus EnglishLanguage "A Virus that is smaller than YellowFeverVirus.") WMD.kif 1187-1187
(externalImage FootAndMouthVirus "http://upload.wikimedia.org/wikipedia/ commons/ c/ c9/ Foot-and-Mouth-Disease-Virus.png") pictureList.kif 4692-4692
(subclass FootAndMouthVirus ViralAgent) WMD.kif 1186-1186 FootAndMouthVirus ist eine teilkategorie von ViralAgent

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


(termFormat ChineseLanguage FootAndMouthVirus "口蹄疫病毒") domainEnglishFormat.kif 24578-24578
(termFormat ChineseTraditionalLanguage FootAndMouthVirus "口蹄疫病毒") domainEnglishFormat.kif 24577-24577
(termFormat EnglishLanguage FootAndMouthVirus "foot and mouth virus") domainEnglishFormat.kif 24576-24576

antecedent
-------------------------


(=>
    (and
        (instance ?VIRUS1 FootAndMouthVirus)
        (instance ?VIRUS2 YellowFeverVirus))
    (smaller ?VIRUS1 ?VIRUS2))
WMD.kif 1189-1193


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