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 1438-1441 | |
(domainSubclass typicalTemporalPart 1 Process) | Cars.kif 1442-1442 | typicalTemporalPart 的 1 数量 是 过程 的 subclass |
(domainSubclass typicalTemporalPart 2 Process) | Cars.kif 1443-1443 | typicalTemporalPart 的 2 数量 是 过程 的 subclass |
(instance typicalTemporalPart BinaryPredicate) | Cars.kif 1431-1431 | typicalTemporalPart 是 二元谓语 的 instance |
(instance typicalTemporalPart TemporalRelation) | Cars.kif 1432-1432 | typicalTemporalPart 是 时间关系 的 instance |
(relatedInternalConcept typicalTemporalPart temporalPart) | Cars.kif 1433-1433 | typicalTemporalPart 和 时间部分 是 内部相关 |
(relatedInternalConcept typicalTemporalPart typicalPart) | Cars.kif 1434-1434 | typicalTemporalPart 和 典型的部分 是 内部相关 |
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 65962-65962 |
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 |
|