| appearance as argument number 1 |
|
| (documentation havePartTypes EnglishLanguage "(havePartTypes ?PART_TYPE ?WHOLE_TYPE) means that every instance of ?WHOLE_TYPE has as parts an instance of ?PART_TYPE.") | Mid-level-ontology.kif 23175-23176 | |
| (domainSubclass havePartTypes 1 Object) | Mid-level-ontology.kif 23172-23172 | |
| (domainSubclass havePartTypes 2 Object) | Mid-level-ontology.kif 23173-23173 | |
| (instance havePartTypes BinaryPredicate) | Mid-level-ontology.kif 23170-23170 | |
| (instance havePartTypes SpatialRelation) | Mid-level-ontology.kif 23171-23171 | |
| (relatedInternalConcept havePartTypes part) | Mid-level-ontology.kif 23174-23174 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage havePartTypes "%1 有 种类 %2 的 parts ") | domainEnglishFormat.kif 3623-3623 | |
| (format ChineseTraditionalLanguage havePartTypes "%1 有 種類 %2 的 parts ") | domainEnglishFormat.kif 3622-3622 | |
| (format EnglishLanguage havePartTypes "%1 has parts of type %2") | domainEnglishFormat.kif 3621-3621 |
| antecedent |
|
|
| (=> (and (havePartTypes ?PART_TYPE ?WHOLETYPE) (instance ?WHOLE ?WHOLETYPE)) (exists (?PART) (and (instance ?PART ?PARTTYPE) (part ?PART ?WHOLE)))) |
Mid-level-ontology.kif 23178-23185 |
| appearance as argument number 0 |
|
|
| (havePartTypes ComputerKeyboard ComputerKeyboardKey) | ComputerInput.kif 375-375 | |
| (havePartTypes ComputerMenu ComputerMenuItem) | ComputerInput.kif 1133-1133 | |
| (havePartTypes ComputerMouse MouseButton) | ComputerInput.kif 400-400 | |
| (havePartTypes GameIODeviceWithAccelerometer Accelerometer) | ComputerInput.kif 639-639 | |
| (havePartTypes GraphicalComputerMenu GraphicalMenuItem) | ComputerInput.kif 1148-1148 | |
| (havePartTypes Valve Faucet) | engineering.kif 932-932 | |
| (havePartTypes Valve Tube) | engineering.kif 933-933 |
|
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