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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 1478-1481
(domainSubclass typicallyContainsTemporalPart 1 Process) Cars.kif 1482-1482 domainSubclass typicallyContainsTemporalPart, 1 and Process
(domainSubclass typicallyContainsTemporalPart 2 Process) Cars.kif 1483-1483 domainSubclass typicallyContainsTemporalPart, 2 and Process
(instance typicallyContainsTemporalPart BinaryPredicate) Cars.kif 1472-1472 instance typicallyContainsTemporalPart and BinaryPredicate
(instance typicallyContainsTemporalPart TemporalRelation) Cars.kif 1473-1473 instance typicallyContainsTemporalPart and TemporalRelation
(relatedInternalConcept typicallyContainsTemporalPart temporalPart) Cars.kif 1475-1475 relatedInternalConcept typicallyContainsTemporalPart and temporalPart
(relatedInternalConcept typicallyContainsTemporalPart typicallyContainsPart) Cars.kif 1474-1474 relatedInternalConcept typicallyContainsTemporalPart and typicallyContainsPart

appearance as argument number 2

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


        (typicallyContainsTemporalPart ?PART ?WHOLE)
        (instance ?Y ?WHOLE)
        (equal ?PARTPROB
                (exists (?X1)
                        (instance ?X1 ?PART)
                        (temporalPart ?X1 ?Y)))))
        (equal ?NOTPARTPROB
                    (exists (?X2)
                            (instance ?X2 ?PART)
                            (temporalPart ?X2 ?Y)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))
Cars.kif 1493-1510
    (typicallyContainsTemporalPart ?PART ?WHOLE)
    (exists (?X ?Y)
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (temporalPart ?Y ?X))))
Cars.kif 1485-1491

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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