TreeView Knowledge Base Browser

appearance as argument number 1

(documentation inhibits EnglishLanguage "The AutonomousAgent takes actions that are intended to make instances of the Process less likely. Note that this is very general, so it is likely that practical use of this relation would involve KappaFn, say to create the class of all of a certain kind of action within a bounded time and place.")	Mid-level-ontology.kif 20265-20269
(instance inhibits BinaryPredicate)	Mid-level-ontology.kif 20270-20270	inhibits is an instance of binary predicate
(domain inhibits 1 AutonomousAgent)	Mid-level-ontology.kif 20271-20271	The number 1 argument of inhibits is an instance of agent
(domainSubclass inhibits 2 Process)	Mid-level-ontology.kif 20272-20272	The number 2 argument of inhibits is a subclass of process

appearance as argument number 2

(termFormat EnglishLanguage inhibits "inhibits")	Mid-level-ontology.kif 20273-20273
(format EnglishLanguage inhibits "%1 inhibits %2")	Mid-level-ontology.kif 20274-20274
(termFormat ChineseTraditionalLanguage inhibits "抑制")	domainEnglishFormat.kif 30106-30106
(termFormat ChineseLanguage inhibits "抑制")	domainEnglishFormat.kif 30107-30107
(format EnglishLanguage inhibits "%1 %n{doesn't} inhibit%p{s} %2")	english_format.kif 216-216

antecedent

(=> (inhibits ?A ?P) (desires ?A (not (exists (?I) (instance ?I ?P)))))	Mid-level-ontology.kif 20276-20281	If X inhibits Y, then X desires there doesn't exist Z such that Z is an instance of Y
(=> (inhibits ?A ?P) (exists (?P2) (and (agent ?P2 ?A) (hasPurposeForAgent ?P2 ?A (not (exists (?P3) (instance ?P3 ?P)))))))	Mid-level-ontology.kif 20283-20292	If X inhibits Y, then there exists Z such that X is an agent of Z and Z has the purpose X for there doesn't exist W such that W is an instance of Y

consequent

(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))

If equal X and Y is preventing Z, Z is a subclass of process, and X is a part of the organization Y, then X inhibits Z