| appearance as argument number 1 |
|
| (documentation typicalPart EnglishLanguage "An instance of the first argument is typically found as part of an instance of the second argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such wholes typically have such parts.") | Mid-level-ontology.kif 21537-21540 | |
| (domainSubclass typicalPart 1 Object) | Mid-level-ontology.kif 21541-21541 | |
| (domainSubclass typicalPart 2 Object) | Mid-level-ontology.kif 21542-21542 | |
| (instance typicalPart BinaryPredicate) | Mid-level-ontology.kif 21534-21534 | |
| (instance typicalPart SpatialRelation) | Mid-level-ontology.kif 21535-21535 | |
| (relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 21536-21536 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage typicalPart "a %1 is typically a part of a %2") | domainEnglishFormat.kif 1223-1223 | |
| (relatedInternalConcept typicalTemporalPart typicalPart) | Cars.kif 1429-1429 | |
| (relatedInternalConcept typicallyContainsPart typicalPart) | Cars.kif 347-347 | |
| (subrelation partTypes typicalPart) | Mid-level-ontology.kif 21678-21678 | |
| (termFormat EnglishLanguage typicalPart "typical part") | domainEnglishFormat.kif 10384-10384 |
| antecedent |
|
|
| (=> (and (typicalPart ?PART ?WHOLE) (instance ?X ?PART) (equal ?PARTPROB (ProbabilityFn (exists (?Y) (and (instance ?Y ?WHOLE) (part ?X ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?Z) (and (instance ?Z ?WHOLE) (part ?X ?Z))))))) (greaterThan ?PARTPROB ?NOTPARTPROB)) |
Mid-level-ontology.kif 21552-21569 | |
| (=> (typicalPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X)))) |
Mid-level-ontology.kif 21544-21550 |
| consequent |
|
|
| (=> (attribute ?X AeronauticalEngineer) (exists (?SKILL) (and (hasSkill ?SKILL ?X) (forall (?P) (=> (instance ?P ?SKILL) (or (exists (?CONS ?OBJ ?PT) (and (instance ?CONS Making) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?CONS ?OBJ) (subProcess ?P ?CONS))) (exists (?DESIGN ?PLAN ?OBJ ?PT) (and (instance ?DESIGN Designing) (or (instance ?OBJ Aircraft) (and (instance ?OBJ ?PT) (typicalPart ?PT Aircraft))) (result ?DESIGN ?PLAN) (represents ?PLAN ?OBJ) (subProcess ?P ?DESIGN))))))))) |
Biography.kif 203-232 |
| appearance as argument number 0 |
|
|
|
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