| 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 1438-1441 | |
| (domainSubclass typicalTemporalPart 1 Process) | Cars.kif 1442-1442 | Die Zahl 1 Argument von typicalTemporalPart ist eine teilkategorie von Process %n{nicht} |
| (domainSubclass typicalTemporalPart 2 Process) | Cars.kif 1443-1443 | Die Zahl 2 Argument von typicalTemporalPart ist eine teilkategorie von Process %n{nicht} |
| (instance typicalTemporalPart BinaryPredicate) | Cars.kif 1431-1431 | typicalTemporalPart ist ein fall von BinaryPredicate %n{nicht} |
| (instance typicalTemporalPart TemporalRelation) | Cars.kif 1432-1432 | typicalTemporalPart ist ein fall von TemporalRelation %n{nicht} |
| (relatedInternalConcept typicalTemporalPart temporalPart) | Cars.kif 1433-1433 | typicalTemporalPart ist innerlich verwandt mit temporalPart %n{nicht} |
| (relatedInternalConcept typicalTemporalPart typicalPart) | Cars.kif 1434-1434 | typicalTemporalPart ist innerlich verwandt mit typicalPart %n{nicht} |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage typicalTemporalPart "a %1 is typically a part of a %2") | Cars.kif 1436-1436 | |
| (termFormat EnglishLanguage typicalTemporalPart "typical temporal part") | domainEnglishFormat.kif 66024-66024 |
| antecedent |
|
|
| (=> (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 1453-1470 |
|
| (=> (typicalTemporalPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (temporalPart ?Y ?X)))) |
Cars.kif 1445-1451 |
|
|
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