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


KB Term:  Term intersection
English Word: 

Sigma KEE - preventsSubclass
preventsSubclass

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


(instance preventsSubclass BinaryPredicate) Merge.kif 4448-4448 prevents subclass is an instance of binary predicate
(instance preventsSubclass IrreflexiveRelation) Merge.kif 4449-4449 prevents subclass is an instance of irreflexive relation
(instance preventsSubclass PartialValuedRelation) Merge.kif 4450-4450 prevents subclass is an instance of partial valued relation
(domainSubclass preventsSubclass 1 Process) Merge.kif 4451-4451 The number 1 argument of prevents subclass is a subclass of process
(domainSubclass preventsSubclass 2 Process) Merge.kif 4452-4452 The number 2 argument of prevents subclass is a subclass of process
(relatedInternalConcept preventsSubclass hindersSubclass) Merge.kif 4453-4453 prevents subclass is internally related to hinders subclass
(documentation preventsSubclass EnglishLanguage "A very general Predicate. (preventsSubclass ?PROC1 ?PROC2) means that ?PROC1 preventsSubclass the occurrence of ?PROC2. In other words, if ?PROC1 is occurring in a particular time and place, ?PROC2 cannot occur at the same time and place. For example, innoculating preventsSubclass contracting disease. Note that this is a relation between types of Processes, not between instances.") Merge.kif 4455-4460 prevents subclass is internally related to hinders subclass

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


(relatedInternalConcept prevents preventsSubclass) Merge.kif 4482-4482 prevents is internally related to prevents subclass
(format EnglishLanguage preventsSubclass "instances of %1 prevent instances of %2") domainEnglishFormat.kif 4208-4208 prevents is internally related to prevents subclass
(format ChineseTraditionalLanguage preventsSubclass "%1 的例子 prevent %2 的例子") domainEnglishFormat.kif 4209-4209 prevents is internally related to prevents subclass
(format ChineseLanguage preventsSubclass "%1 的例子 prevent %2 的例子") domainEnglishFormat.kif 4210-4210 prevents is internally related to prevents subclass
(termFormat EnglishLanguage preventsSubclass "prevents subclass") domainEnglishFormat.kif 65941-65941 prevents is internally related to prevents subclass

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


(=>
    (preventsSubclass ?PROC1 ?PROC2)
    (forall (?TIME ?PLACE)
        (=>
            (holdsDuring ?TIME
                (exists (?INST1)
                    (and
                        (instance ?INST1 ?PROC1)
                        (eventLocated ?INST1 ?PLACE))))
            (not
                (holdsDuring ?TIME
                    (exists (?INST2)
                        (and
                            (instance ?INST2 ?PROC2)
                            (eventLocated ?INST2 ?PLACE))))))))		 Merge.kif 4462-4476 If instances of X prevent instances of Y, then For all TimePosition Z and Entity W: if there exists V such that V is an instance of X and V is located at W holds during Z, then there doesn't exist U such that U is an instance of Y and U is located at W doesn't hold 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