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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AgentOfOrganismFn

Sigma KEE - AgentOfOrganismFn
AgentOfOrganismFn

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


(documentation AgentOfOrganismFn EnglishLanguage "A Function that returns the BiologicalAgent composed of the given Organism in a Solution of Mixture.") WMD.kif 84-85
(domainSubclass AgentOfOrganismFn 1 Organism) WMD.kif 87-87
(instance AgentOfOrganismFn UnaryFunction) WMD.kif 86-86
(rangeSubclass AgentOfOrganismFn BiologicalAgent) WMD.kif 88-88

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


(format EnglishLanguage AgentOfOrganismFn "the biological agent of %1") domainEnglishFormat.kif 689-689

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


(=>
    (instance ?X
        (AgentOfOrganismFn ?Y))
    (exists (?Z)
        (and
            (instance ?Z ?Y)
            (part ?Z ?X))))
WMD.kif 89-94

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners