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 ChineseLanguage AgentOfOrganismFn "%1 的 biological agent ") domainEnglishFormat.kif 2723-2723
(format ChineseTraditionalLanguage AgentOfOrganismFn "%1 的 biological agent ") domainEnglishFormat.kif 2722-2722
(format EnglishLanguage AgentOfOrganismFn "the biological agent of %1") domainEnglishFormat.kif 2721-2721

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 3.0 is open source software produced by Articulate Software and its partners