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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 口蹄疫病毒病毒剂subclass

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 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