typicallyContainsTemporalPart |
appearance as argument number 1 |
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 22820-22820 | typicalAction 和 typicallyContainsTemporalPart 是 内部相关 |
(termFormat EnglishLanguage typicallyContainsTemporalPart "typically contains temporal part") | domainEnglishFormat.kif 65963-65963 |
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 1493-1510 |
|
(=> (typicallyContainsTemporalPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (temporalPart ?Y ?X)))) |
Cars.kif 1485-1491 |
|