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


KB Term:  Term intersection
English Word: 

Sigma KEE - typicalTemporalPart
typicalTemporalPart

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


(instance typicalTemporalPart BinaryPredicate) Cars.kif 1345-1345 typical temporal part is an instance of binary predicate
(instance typicalTemporalPart TemporalRelation) Cars.kif 1346-1346 typical temporal part is an instance of temporal relation
(relatedInternalConcept typicalTemporalPart temporalPart) Cars.kif 1347-1347 typical temporal part is internally related to temporal part
(relatedInternalConcept typicalTemporalPart typicalPart) Cars.kif 1348-1348 typical temporal part is internally related to typical part
(documentation typicalTemporalPart EnglishLanguage "An instance of the first argument is typically a temporal part of an instance of the second argument. This is a class_level relation roughly corresponding to temporalPart. Note that this does not imply that such wholes typically have such parts.") Cars.kif 1352-1355 typical temporal part is internally related to typical part
(domainSubclass typicalTemporalPart 1 Process) Cars.kif 1356-1356 The number 1 argument of typical temporal part is a subclass of process
(domainSubclass typicalTemporalPart 2 Process) Cars.kif 1357-1357 The number 2 argument of typical temporal part is a subclass of process

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


(format EnglishLanguage typicalTemporalPart "a %1 is typically a part of a %2") Cars.kif 1350-1350
(termFormat EnglishLanguage typicalTemporalPart "typical temporal part") domainEnglishFormat.kif 66000-66000

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


(=>
    (typicalTemporalPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (temporalPart ?Y ?X))))		 Cars.kif 1359-1365 If a X is typically a part of a Y, then there exist Z, W such that Z is an instance of Y, W is an instance of X, and W is a part of Z
(=>
    (and
        (typicalTemporalPart ?PART ?WHOLE)
        (instance ?X ?PART)
        (equal ?PARTPROB
            (ProbabilityFn
                (exists (?Y)
                    (and
                        (instance ?Y ?WHOLE)
                        (temporalPart ?X ?Y)))))
        (equal ?NOTPARTPROB
            (ProbabilityFn
                (not
                    (exists (?Z)
                        (and
                            (instance ?Z ?WHOLE)
                            (temporalPart ?X ?Z)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))		 Cars.kif 1367-1384 If a X is typically a part of 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 Z is a part of V, and equal U, the probability of there doesn't exist T such that T is an instance of Y, and Z is a part of T, 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