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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FootAndMouthVirus
FootAndMouthVirus(foot and mouth virus)

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 4691-4691
(subclass FootAndMouthVirus ViralAgent) WMD.kif 1186-1186 Foot and mouth virus is a subclass of viral agent

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


(termFormat ChineseLanguage FootAndMouthVirus "口蹄疫病毒") domainEnglishFormat.kif 24595-24595
(termFormat ChineseTraditionalLanguage FootAndMouthVirus "口蹄疫病毒") domainEnglishFormat.kif 24594-24594
(termFormat EnglishLanguage FootAndMouthVirus "foot and mouth virus") domainEnglishFormat.kif 24593-24593

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


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


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