Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - typicallyContainsTemporalPart
typicallyContainsTemporalPart

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


(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.") Cars.kif 1492-1495
(domainSubclass typicallyContainsTemporalPart 1 Process) Cars.kif 1496-1496
(domainSubclass typicallyContainsTemporalPart 2 Process) Cars.kif 1497-1497
(instance typicallyContainsTemporalPart BinaryPredicate) Cars.kif 1486-1486
(instance typicallyContainsTemporalPart TemporalRelation) Cars.kif 1487-1487
(relatedInternalConcept typicallyContainsTemporalPart temporalPart) Cars.kif 1489-1489
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Cars.kif 1488-1488

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


(format EnglishLanguage typicallyContainsTemporalPart "a %2 typically contains a %1") Cars.kif 1491-1491
(relatedInternalConcept typicalAction typicallyContainsTemporalPart) Mid-level-ontology.kif 19256-19256

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


(=>
    (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))
Cars.kif 1507-1524
(=>
    (typicallyContainsTemporalPart ?PART ?WHOLE)
    (exists (?X ?Y)
        (and
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (temporalPart ?Y ?X))))
Cars.kif 1499-1505


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 is open source software produced by Articulate Software and its partners