| 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 16570-16573 | |
| (domainSubclass typicalPart 1 Object) | Mid-level-ontology.kif 16574-16574 | The number 1 argument of typical part is a subclass of object |
| (domainSubclass typicalPart 2 Object) | Mid-level-ontology.kif 16575-16575 | The number 2 argument of typical part is a subclass of object |
| (instance typicalPart BinaryRelation) | Mid-level-ontology.kif 16567-16567 | typical part is an instance of binary relation |
| (instance typicalPart SpatialRelation) | Mid-level-ontology.kif 16568-16568 | typical part is an instance of spatial relation |
| (relatedInternalConcept typicalPart part) | Mid-level-ontology.kif 16569-16569 | typical part is internally related to part |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage typicalPart "typical part") | domainEnglishFormat.kif 9738-9738 | term format english language, typical part and "typical part" |
| antecedent |
|
|
| (=> (and (typicalPart ?PART ?WHOLE) (instance ?X ?PART)) (and (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 16585-16603 |
|
| (=> (typicalPart ?PART ?WHOLE) (exists (?X ?Y) (and (instance ?X ?WHOLE) (instance ?Y ?PART) (part ?Y ?X)))) |
Mid-level-ontology.kif 16577-16583 |
| 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 SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners