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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - parasite
parasite

appearance as argument number 1
-------------------------


s__documentation(s__parasite__m,s__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 5923-5926
s__domain(s__parasite__m,n__1,s__Organism)

Mid-level-ontology.kif 5928-5928 The number 1 argument of parasite is an instance of organism
s__domain(s__parasite__m,n__2,s__Organism)

Mid-level-ontology.kif 5929-5929 The number 2 argument of parasite is an instance of organism
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__parasite__m,s__BinaryPredicate)

Mid-level-ontology.kif 5927-5927 parasite is an instance of binary predicate
s__relatedInternalConcept(s__parasite__m,s__parasitic__m)

WMD.kif 1974-1974 parasite is internally related to parasitic

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__parasite__m,'"%2 %n 是 %1 的 parasite "')

domainEnglishFormat.kif 1903-1903
s__format(s__ChineseTraditionalLanguage,s__parasite__m,'"%2 %n 是 %1 的 parasite "')

domainEnglishFormat.kif 1902-1902
s__format(s__EnglishLanguage,s__parasite__m,'"%2 is %n a parasite of %1"')

domainEnglishFormat.kif 1901-1901
s__termFormat(s__ChineseLanguage,s__parasite__m,'"寄生物"')

domainEnglishFormat.kif 44395-44395
s__termFormat(s__ChineseTraditionalLanguage,s__parasite__m,'"寄生物"')

domainEnglishFormat.kif 44394-44394
s__termFormat(s__EnglishLanguage,s__parasite__m,'"parasite"')

domainEnglishFormat.kif 44393-44393

antecedent
-------------------------


( ! [V__O1,V__O2] :
   (((s__instance(V__O1,s__Organism) &
         s__instance(V__O2,s__Organism))
       =>
       ((s__parasite(V__O1,V__O2)
         =>
         (( ? [V__I] :
             ((s__instance(V__I,s__Injuring) &
                 s__agent(V__I,V__O1)
               &
               s__patient(V__I,V__O2))))))))
)
)

Mid-level-ontology.kif 5935-5941
( ! [V__O1,V__O2] :
   (((s__instance(V__O1,s__Organism) &
         s__instance(V__O2,s__Organism))
       =>
       ((s__parasite(V__O1,V__O2)
         =>
         (s__inhabits(V__O1,V__O2)))))
)
)

Mid-level-ontology.kif 5931-5933

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1978-1985


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