TreeView Knowledge Base Browser

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 6266-6269
(domain parasite 1 Organism)	Mid-level-ontology.kif 6271-6271	Die Zahl 1 Argument von parasite ist ein fall von Organism %n{nicht}
(domain parasite 2 Organism)	Mid-level-ontology.kif 6272-6272	Die Zahl 2 Argument von parasite ist ein fall von Organism %n{nicht}
(instance parasite BinaryPredicate)	Mid-level-ontology.kif 6270-6270	parasite ist ein fall von BinaryPredicate %n{nicht}
(relatedInternalConcept parasite parasitic)	WMD.kif 2003-2003	parasite ist innerlich verwandt mit parasitic %n{nicht}

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 44420-44420
(termFormat ChineseTraditionalLanguage parasite "寄生物")	domainEnglishFormat.kif 44419-44419
(termFormat EnglishLanguage parasite "parasite")	domainEnglishFormat.kif 44418-44418

antecedent

(=> (parasite ?O1 ?O2) (exists (?I) (and (instance ?I Injuring) (agent ?I ?O1) (patient ?I ?O2))))	Mid-level-ontology.kif 6278-6284	Wenn parasite Organism and Organism, dann es gibt Process um Process ist ein fall von Injuring %n{nicht} und Process ist der agent von Organism %n{nicht} und Organism ist ein patient von ** Process %n{nicht}
(=> (parasite ?O1 ?O2) (inhabits ?O1 ?O2))	Mid-level-ontology.kif 6274-6276	Wenn parasite Organism and Organism, dann Organism wohnt in Organism

consequent

(=>
    (parasitic ?O1 ?O2)
    (exists (?I1 ?I2)
        (modalAttribute
            (and
                (instance ?I1 ?O1)
                (instance ?I2 ?O2)
                (parasite ?I1 ?I2)) Possibility)))

WMD.kif 2007-2015

Wenn parasitic ** Organism and ** ** Organism,
dann es gibt entity und ** entity um die Aussage ** entity ist ein fall von ** Organism %n{nicht} und ** ** entity ist ein fall von ** ** Organism %n{nicht} und parasite ** entity and ** ** entity hat die modale Kraft von Possibility

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: