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


KB Term:  Term intersection
English Word: 

Sigma KEE - typicallyContainsTemporalPart
typicallyContainsTemporalPart

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


(instance typicallyContainsTemporalPart BinaryPredicate) Mid-level-ontology.kif 25094-25094 typically contains temporal part is an instance of binary predicate
(instance typicallyContainsTemporalPart TemporalRelation) Mid-level-ontology.kif 25095-25095 typically contains temporal part is an instance of temporal relation
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Mid-level-ontology.kif 25096-25096 typically contains temporal part is internally related to typically contains part
(relatedInternalConcept typicallyContainsTemporalPart temporalPart) Mid-level-ontology.kif 25097-25097 typically contains temporal part is internally related to temporal part
(documentation typicallyContainsTemporalPart EnglishLanguage "An instance of the second argument typically contains an instance of the first argument. This is a class_level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes.") Mid-level-ontology.kif 25100-25103 typically contains temporal part is internally related to temporal part
(domainSubclass typicallyContainsTemporalPart 1 Process) Mid-level-ontology.kif 25104-25104 The number 1 argument of typically contains temporal part is a subclass of process
(domainSubclass typicallyContainsTemporalPart 2 Process) Mid-level-ontology.kif 25105-25105 The number 2 argument of typically contains temporal part is a subclass of process

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


(format EnglishLanguage typicallyContainsTemporalPart "a %2 typically contains a %1") Mid-level-ontology.kif 25099-25099
(termFormat EnglishLanguage typicallyContainsTemporalPart "typically contains temporal part") domainEnglishFormat.kif 66001-66001

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


(=>
    (typicallyContainsTemporalPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (temporalPart ?Y ?X))))		 Mid-level-ontology.kif 25107-25113 If a X typically contains a Y, then there exist Z, W such that Z is an instance of X, W is an instance of Y, and W is a part of Z
(=>
    (and
        (typicallyContainsTemporalPart ?PART ?WHOLE)
        (instance ?Y ?WHOLE)
        (equal ?PARTPROB
            (ProbabilityFn
                (exists (?X1)
                    (and
                        (instance ?X1 ?PART)
                        (temporalPart ?X1 ?Y)))))
        (equal ?NOTPARTPROB
            (ProbabilityFn
                (not
                    (exists (?X2)
                        (and
                            (instance ?X2 ?PART)
                            (temporalPart ?X2 ?Y)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))		 Mid-level-ontology.kif 25115-25132 If a X typically contains a Y, Z is an instance of X, equal W, the probability of there exists V such that V is an instance of Y, and V is a part of Z, and equal U, the probability of there doesn't exist T such that T is an instance of Y, and T is a part of Z, then W is greater than U


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