Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| equipmentType |
| appearance as argument number 1 |
|
| (documentation equipmentType EnglishLanguage "(equipmentType ?THING ?TYPE) means that the Artifact ?THING has a component or attachment of Device ?TYPE. See also equipmentTypeCount.") | Mid-level-ontology.kif 26619-26621 | |
| (instance equipmentType BinaryPredicate) | Mid-level-ontology.kif 26622-26622 | equipment type is an instance of binary predicate |
| (domain equipmentType 1 Artifact) | Mid-level-ontology.kif 26623-26623 | The number 1 argument of equipment type is an instance of artifact |
| (domainSubclass equipmentType 2 Device) | Mid-level-ontology.kif 26624-26624 | The number 2 argument of equipment type is a subclass of device |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage equipmentType "%2 is %n an equipment type of %1") | domainEnglishFormat.kif 917-917 | |
| (format ChineseTraditionalLanguage equipmentType "%2 %n 是 %1 的 equipment 類別") | domainEnglishFormat.kif 918-918 | |
| (format ChineseLanguage equipmentType "%2 %n 是 %1 的 equipment 类别") | domainEnglishFormat.kif 919-919 | |
| (termFormat EnglishLanguage equipmentType "equipment type") | domainEnglishFormat.kif 22345-22345 | |
| (termFormat ChineseTraditionalLanguage equipmentType "設備類型") | domainEnglishFormat.kif 22346-22346 | |
| (termFormat ChineseLanguage equipmentType "设备类型") | domainEnglishFormat.kif 22347-22347 |
| antecedent |
|
|
| (=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O))))) |
Mid-level-ontology.kif 26626-26633 | If X is an equipment type of Y, then there exists Z such that Z is an instance of X and Z is a part of Y or Z is connected to Y |
| (=> (equipmentType ?O ?T) (exists (?C ?D) (and (instance ?D ?T) (greaterThanOrEqualTo ?C 1) (equipmentCount ?O ?T ?C)))) |
Mid-level-ontology.kif 26642-26648 | If X is an equipment type of Y, then there exist Z, W such that W is an instance of X, Z is greater than or equal to 1, and Y equipment count X for Z |
| consequent |
|
|
| (=> (equipmentCount ?O ?T ?C) (exists (?DEVICE) (and (instance ?DEVICE ?T) (equipmentType ?O ?T)))) |
Mid-level-ontology.kif 26635-26640 | If X equipment count Y for Z, then there exists W such that W is an instance of Y and Y is an equipment type of X |
|