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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - typicalTemporalPart

appearance as argument number 1

(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 1434-1437
(domainSubclass typicalTemporalPart 1 Process) Cars.kif 1438-1438 domainSubclass typicalTemporalPart, 1 and Process
(domainSubclass typicalTemporalPart 2 Process) Cars.kif 1439-1439 domainSubclass typicalTemporalPart, 2 and Process
(instance typicalTemporalPart BinaryPredicate) Cars.kif 1427-1427 instance typicalTemporalPart and BinaryPredicate
(instance typicalTemporalPart TemporalRelation) Cars.kif 1428-1428 instance typicalTemporalPart and TemporalRelation
(relatedInternalConcept typicalTemporalPart temporalPart) Cars.kif 1429-1429 relatedInternalConcept typicalTemporalPart and temporalPart
(relatedInternalConcept typicalTemporalPart typicalPart) Cars.kif 1430-1430 relatedInternalConcept typicalTemporalPart and typicalPart

appearance as argument number 2

(format EnglishLanguage typicalTemporalPart "a %1 is typically a part of a %2") Cars.kif 1432-1432


        (typicalTemporalPart ?PART ?WHOLE)
        (instance ?X ?PART)
        (equal ?PARTPROB
                (exists (?Y)
                        (instance ?Y ?WHOLE)
                        (temporalPart ?X ?Y)))))
        (equal ?NOTPARTPROB
                    (exists (?Z)
                            (instance ?Z ?WHOLE)
                            (temporalPart ?X ?Z)))))))
    (greaterThan ?PARTPROB ?NOTPARTPROB))
Cars.kif 1449-1466
    (typicalTemporalPart ?PART ?WHOLE)
    (exists (?X ?Y)
            (instance ?X ?WHOLE)
            (instance ?Y ?PART)
            (temporalPart ?Y ?X))))
Cars.kif 1441-1447

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners