inhibits - Sigma 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 18618-18622
(domain inhibits 1 AutonomousAgent)	Mid-level-ontology.kif 18624-18624	The number 1 argument of inhibits is an instance of agent
(domainSubclass inhibits 2 Process)	Mid-level-ontology.kif 18625-18625	The number 2 argument of inhibits is a subclass of process
(instance inhibits BinaryPredicate)	Mid-level-ontology.kif 18623-18623	inhibits is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage inhibits "%1 %n{doesn't} inhibits %2")	chinese_format.kif 215-215
(format EnglishLanguage inhibits "%1 %n{doesn't} inhibit%p{s} %2")	english_format.kif 216-216
(format EnglishLanguage inhibits "%1 inhibits %2")	Mid-level-ontology.kif 18627-18627
(format FrenchLanguage inhibits "%1 %n{n'} inhibe %n{pas} %2")	french_format.kif 127-127
(format ItalianLanguage inhibits "%1 inibisce %2")	relations-it.txt 144-144
(format JapaneseLanguage inhibits "%1 は %2 を inhibit%p{s} %n{ない")	japanese_format.kif 1956-1956
(format PortugueseLanguage inhibits "%1 %n{nao} inhibe %n %2")	portuguese_format.kif 79-79
(format de inhibits "%1 hemmt %2")	relations-de.txt 278-278
(format hi inhibits "%1 %2 ko rokataa hai")	relations-hindi.txt 183-183
(format ro inhibits "%1 %n{nu} inhibit%t{inhibã} %2")	relations-ro.kif 146-146
(format sv inhibits "%1 hämmar %n{inte} %2")	relations-sv.txt 132-132
(format tg inhibits "%1 ay pipigilin %2")	relations-tg.txt 292-292
(termFormat ChineseLanguage inhibits "抑制")	domainEnglishFormat.kif 30137-30137
(termFormat ChineseTraditionalLanguage inhibits "抑制")	domainEnglishFormat.kif 30136-30136
(termFormat EnglishLanguage inhibits "inhibits")	domainEnglishFormat.kif 30135-30135
(termFormat de inhibits "hemmt")	terms-de.txt 89-89
(termFormat tg inhibits "pipigilin")	relations-tg.txt 293-293

antecedent

(=> (inhibits ?A ?P) (desires ?A (not (exists (?I) (instance ?I ?P)))))	Mid-level-ontology.kif 18629-18634	If a cognitive agent inhibits a kind of process, then the cognitive agent desires there doesn't exist an entity such that the entity is an instance of a kind of process
(=> (inhibits ?A ?P) (exists (?P2) (and (agent ?P2 ?A) (hasPurposeForAgent ?P2 (not (exists (?P3) (instance ?P3 ?P))) ?A))))	Mid-level-ontology.kif 18636-18645	If an agent inhibits a kind of process, then there exists a kind of process2 such that the agent is an agent of the kind of process2 and the kind of process2 has the purpose there doesn't exist the kind of process3 such that the kind of process3 is an instance of the kind of process for the agent

consequent

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

Mid-level-ontology.kif 18659-18664