Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| parasite |
| 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 7391-7394 | |
| (instance parasite BinaryPredicate) | Mid-level-ontology.kif 7395-7395 | parasite is an instance of binary predicate |
| (domain parasite 1 Organism) | Mid-level-ontology.kif 7396-7396 | The number 1 argument of parasite is an instance of organism |
| (domain parasite 2 Organism) | Mid-level-ontology.kif 7397-7397 | The number 2 argument of parasite is an instance of organism |
| (relatedInternalConcept parasite parasitic) | WMD.kif 1999-1999 | parasite is internally related to parasitic |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage parasite "%2 is %n a parasite of %1") | domainEnglishFormat.kif 1905-1905 | |
| (format ChineseTraditionalLanguage parasite "%2 %n 是 %1 的 parasite ") | domainEnglishFormat.kif 1906-1906 | |
| (format ChineseLanguage parasite "%2 %n 是 %1 的 parasite ") | domainEnglishFormat.kif 1907-1907 | |
| (termFormat EnglishLanguage parasite "parasite") | domainEnglishFormat.kif 44411-44411 | |
| (termFormat ChineseTraditionalLanguage parasite "寄生物") | domainEnglishFormat.kif 44412-44412 | |
| (termFormat ChineseLanguage parasite "寄生物") | domainEnglishFormat.kif 44413-44413 |
| antecedent |
|
|
| (=> (parasite ?O1 ?O2) (inhabits ?O1 ?O2)) |
Mid-level-ontology.kif 7399-7401 | If X is a parasite of Y, then Y lives in X |
| (=> (parasite ?O1 ?O2) (exists (?I) (and (instance ?I Injuring) (agent ?I ?O1) (patient ?I ?O2)))) |
Mid-level-ontology.kif 7403-7409 | If X is a parasite of Y, then there exists Z such that Z is an instance of injuring, Y is an agent of Z, and X is a patient of Z |
| consequent |
|
|
| (=> (parasitic ?O1 ?O2) (exists (?I1 ?I2) (modalAttribute (and (instance ?I1 ?O1) (instance ?I2 ?O2) (parasite ?I1 ?I2)) Possibility))) |
WMD.kif 2003-2011 | If parasitic X and Y, then there exist Z, W such that the statement Z is an instance of X, W is an instance of Y, and W is a parasite of Z has the modal force of possibility |
|