| appearance as argument number 1 |
|
| (documentation ToxicOrganism EnglishLanguage "The Class of Organisms which are poisonous to other Organisms.") | WMD.kif 188-189 | |
| (subclass ToxicOrganism Organism) | WMD.kif 187-187 | 子類 有毒生物 and Organism |
| appearance as argument number 2 |
|
|
| (subclass BacterialAgent ToxicOrganism) | WMD.kif 198-198 | 子類 細菌劑 and 有毒生物 |
| (subclass FungalAgent ToxicOrganism) | WMD.kif 213-213 | 子類 真菌劑 and 有毒生物 |
| (subclass ViralAgent ToxicOrganism) | WMD.kif 230-230 | 子類 病毒劑 and 有毒生物 |
| (termFormat ChineseLanguage ToxicOrganism "有毒生物") | domainEnglishFormat.kif 58713-58713 | 子類 病毒劑 and 有毒生物 |
| (termFormat ChineseTraditionalLanguage ToxicOrganism "有毒生物") | domainEnglishFormat.kif 58712-58712 | 子類 病毒劑 and 有毒生物 |
| (termFormat EnglishLanguage ToxicOrganism "toxic organism") | domainEnglishFormat.kif 58711-58711 | 子類 病毒劑 and 有毒生物 |
| (termFormat Hindi ToxicOrganism "vEshika jIva") | terms-hindi.txt 220-220 | 子類 病毒劑 and 有毒生物 |
| (termFormat ItalianLanguage ToxicOrganism "SostanzaTossica") | terms-it.txt 223-223 | 子類 病毒劑 and 有毒生物 |
| (termFormat cz ToxicOrganism "toxic organism") | terms-cz.txt 258-258 | 子類 病毒劑 and 有毒生物 |
| (termFormat de ToxicOrganism "giftiger rganismus") | terms-de.txt 517-517 | 子類 病毒劑 and 有毒生物 |
| (termFormat tg ToxicOrganism "nakalalasong bagay") | terms-tg.txt 224-224 | 子類 病毒劑 and 有毒生物 |
| appearance as argument number 3 |
|
|
| (partition BiologicalAgent Toxin ToxicOrganism) | WMD.kif 157-157 | 劃分 生物製劑, 毒素 and 有毒生物 |
| antecedent |
|
|
| (=> (instance ?ORGANISM ToxicOrganism) (exists (?SUBSTANCE) (and (instance ?SUBSTANCE Toxin) (part ?SUBSTANCE ?ORGANISM)))) |
WMD.kif 191-196 |
| consequent |
|
|
| (=> (instance ?SUBSTANCE Toxin) (exists (?ORGANISM ?PROCESS) (and (instance ?ORGANISM ToxicOrganism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (or (result ?PROCESS ?SUBSTANCE) (exists (?RESULT) (and (result ?PROCESS ?RESULT) (copy ?SUBSTANCE ?RESULT))))))) |
WMD.kif 166-178 |
|
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