Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - hindersSubclass
hindersSubclass

appearance as argument number 1
-------------------------


(instance hindersSubclass BinaryPredicate) Merge.kif 4420-4420 hinders subclass is an instance of binary predicate
(instance hindersSubclass IrreflexiveRelation) Merge.kif 4421-4421 hinders subclass is an instance of irreflexive relation
(instance hindersSubclass PartialValuedRelation) Merge.kif 4422-4422 hinders subclass is an instance of partial valued relation
(domainSubclass hindersSubclass 1 Process) Merge.kif 4423-4423 The number 1 argument of hinders subclass is a subclass of process
(domainSubclass hindersSubclass 2 Process) Merge.kif 4424-4424 The number 2 argument of hinders subclass is a subclass of process
(documentation hindersSubclass EnglishLanguage "A very general Predicate. (hindersSubclass ?PROC1 ?PROC2) means that the Process ?PROC1 hindersSubclass or hinders the occurrence of the Process ?PROC2. For example, obstructing an object hindersSubclass moving it. Note that this is a relation between types of Processes, not between instances.") Merge.kif 4426-4431 The number 2 argument of hinders subclass is a subclass of process

appearance as argument number 2
-------------------------


(relatedInternalConcept preventsSubclass hindersSubclass) Merge.kif 4453-4453 prevents subclass is internally related to hinders subclass
(relatedInternalConcept hinders hindersSubclass) Merge.kif 4505-4505 hinders is internally related to hinders subclass
(format EnglishLanguage hindersSubclass "instances of %1 hinder instances of %2") domainEnglishFormat.kif 3630-3630 hinders is internally related to hinders subclass
(format ChineseTraditionalLanguage hindersSubclass "%1 的例子 hinder %2 的 instances ") domainEnglishFormat.kif 3631-3631 hinders is internally related to hinders subclass
(format ChineseLanguage hindersSubclass "%1 的例子 hinder %2 的 instances ") domainEnglishFormat.kif 3632-3632 hinders is internally related to hinders subclass
(termFormat EnglishLanguage hindersSubclass "hinders subclass") domainEnglishFormat.kif 65868-65868 hinders is internally related to hinders subclass

antecedent
-------------------------


(=>
    (hindersSubclass ?PROC1 ?PROC2)
    (forall (?TIME ?PLACE)
        (decreasesLikelihood
            (holdsDuring ?TIME
                (exists (?INST1)
                    (and
                        (instance ?INST1 ?PROC1)
                        (eventLocated ?INST1 ?PLACE))))
            (holdsDuring ?TIME
                (exists (?INST2)
                    (and
                        (instance ?INST2 ?PROC2)
                        (eventLocated ?INST2 ?PLACE)))))))		 Merge.kif 4433-4446 If instances of X hinder instances of Y, then For all Entities Z and W: there exists V such that V is an instance of X, V is located at W holds during Z decreases likelihood of there exists U such that U is an instance of Y, and U is located at W holds during Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners