GramStainAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass GramStainAttribute RelationalAttribute)

Medicine.kif 5390-5390

Gram stain is a subclass of relational attribute

appearance as argument number 2

(instance GramIndeterminate GramStainAttribute)	Medicine.kif 5443-5443	Gram-indeterminate is an instance of Gram stain
(instance GramNegative GramStainAttribute)	Medicine.kif 5407-5407	Gram-negative is an instance of Gram stain
(instance GramPositive GramStainAttribute)	Medicine.kif 5393-5393	Gram-positive is an instance of Gram stain
(instance GramVariable GramStainAttribute)	Medicine.kif 5440-5440	Gram-variable is an instance of Gram stain
(termFormat EnglishLanguage GramStainAttribute "Gram stain")	Medicine.kif 5391-5391	Gram-variable is an instance of Gram stain

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 5378-5388

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: