| appearance as argument number 1 |
|
| (documentation parasite EnglishLanguage "(parasite ?ORGANISM1 ?ORGANISM2) means that there is a parasitic relationship between ?ORGANISM1 and ?ORGANISM2, i.e. ?ORGANISM1 inhabits and obtains nourishment from ?ORGANISM2 in such a way that ?ORGANISM2 is injured.") | Mid-level-ontology.kif 5496-5499 | |
| (domain parasite 1 Organism) | Mid-level-ontology.kif 5501-5501 | |
| (domain parasite 2 Organism) | Mid-level-ontology.kif 5502-5502 | |
| (instance parasite BinaryPredicate) | Mid-level-ontology.kif 5500-5500 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage parasite "%2 %n 是 %1 的 parasite ") | domainEnglishFormat.kif 1903-1903 | |
| (format ChineseTraditionalLanguage parasite "%2 %n 是 %1 的 parasite ") | domainEnglishFormat.kif 1902-1902 | |
| (format EnglishLanguage parasite "%2 is %n a parasite of %1") | domainEnglishFormat.kif 1901-1901 | |
| (termFormat ChineseLanguage parasite "寄生物") | domainEnglishFormat.kif 44395-44395 | |
| (termFormat ChineseTraditionalLanguage parasite "寄生物") | domainEnglishFormat.kif 44394-44394 | |
| (termFormat EnglishLanguage parasite "parasite") | domainEnglishFormat.kif 44393-44393 |
| antecedent |
|
|
| (=> (parasite ?O1 ?O2) (exists (?I) (and (instance ?I Injuring) (agent ?I ?O1) (patient ?I ?O2)))) |
Mid-level-ontology.kif 5508-5514 | |
| (=> (parasite ?O1 ?O2) (inhabits ?O1 ?O2)) |
Mid-level-ontology.kif 5504-5506 |
|
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