Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

( ! [V__AGENT,V__ORGANISM,V__SUB] :
   (((s__subclass(V__AGENT,s__BiologicalAgent) &
         s__subclass(V__ORGANISM,s__Organism) &
         s__instance(V__ORGANISM,s__Class) &
         s__subclass(V__SUB,s__Organism) &
         s__instance(V__SUB,s__Class))
       =>
       (((s__biologicalAgentCarrier(V__AGENT,V__ORGANISM)
           &
           s__subclass(V__SUB,V__ORGANISM))
       =>
       (s__biologicalAgentCarrier(V__AGENT,V__SUB)))))
)
)

WMD.kif 964-968


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