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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - FootAndMouthVirus

appearance as argument number 1

(documentation FootAndMouthVirus EnglishLanguage "A Virus that is smaller than YellowFeverVirus.") WMD.kif 1187-1187
(externalImage FootAndMouthVirus " commons/ c/ c9/ Foot-and-Mouth-Disease-Virus.png") pictureList.kif 4692-4692
(subclass FootAndMouthVirus ViralAgent) WMD.kif 1186-1186

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


        (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