GramStainAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass GramStainAttribute RelationalAttribute)

Medicine.kif 5381-5381

Gram stain is a subclass of relational attribute

appearance as argument number 2

(instance GramIndeterminate GramStainAttribute)	Medicine.kif 5434-5434	Gram-indeterminate is an instance of Gram stain
(instance GramNegative GramStainAttribute)	Medicine.kif 5398-5398	Gram-negative is an instance of Gram stain
(instance GramPositive GramStainAttribute)	Medicine.kif 5384-5384	Gram-positive is an instance of Gram stain
(instance GramVariable GramStainAttribute)	Medicine.kif 5431-5431	Gram-variable is an instance of Gram stain
(termFormat EnglishLanguage GramStainAttribute "Gram stain")	Medicine.kif 5382-5382

consequent

(=>
    (and
        (instance ?G GramStaining)
        (agent ?G ?H)
        (patient ?G ?B))
    (hasPurpose ?G
        (knows ?H
            (exists (?S)
                (and
                    (instance ?S GramStainAttribute)
                    (attribute ?B ?S))))))

Medicine.kif 5369-5379

If a process is an instance of Gram stain and an agent is an agent of the process and an entity is a patient of the process,
then the process has the purpose the agent knows there exists another entity such that the other entity is an instance of Gram stain and the other entity is an attribute of the entity

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

KB Term:			Term intersection

English Word: