| appearance as argument number 1 |
|
| s__documentation(s__equipmentType__m,s__EnglishLanguage,'"(equipmentType ?THING ?TYPE) means that the Artifact ?THING has a component or attachment of Device ?TYPE. See also equipmentTypeCount."')
|
Mid-level-ontology.kif 22036-22038 | |
| s__domain(s__equipmentType__m,n__1,s__Artifact)
|
Mid-level-ontology.kif 22040-22040 | The number 1 argument of equipment type is an instance of artifact |
| s__domain(s__equipmentType__m,n__2,s__Device)
|
Mid-level-ontology.kif 22041-22041 | The number 2 argument of equipment type is an instance of device |
| s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__equipmentType__m,s__BinaryPredicate)
|
Mid-level-ontology.kif 22039-22039 | equipment type is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__equipmentType__m,'"%2 %n 是 %1 的 equipment 类别"')
|
domainEnglishFormat.kif 919-919 | |
| s__format(s__ChineseTraditionalLanguage,s__equipmentType__m,'"%2 %n 是 %1 的 equipment 類別"')
|
domainEnglishFormat.kif 918-918 | |
| s__format(s__EnglishLanguage,s__equipmentType__m,'"%2 is %n an equipment type of %1"')
|
domainEnglishFormat.kif 917-917 | |
| s__termFormat(s__ChineseLanguage,s__equipmentType__m,'"设备类型"')
|
domainEnglishFormat.kif 22273-22273 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__equipmentType__m,'"設備類型"')
|
domainEnglishFormat.kif 22272-22272 | |
| s__termFormat(s__EnglishLanguage,s__equipmentType__m,'"equipment type"')
|
domainEnglishFormat.kif 22271-22271 |
| antecedent |
|
|
| ( ! [V__O,V__T] : ((s__instance(V__O,s__Artifact) & s__subclass(V__T,s__Device) & s__instance(V__T,s__Device)) => s__equipmentType(V__O,V__T) => ( ? [V__C] : ((s__instance(V__C,s__Quantity) & (s__greaterThanOrEqualTo(V__C,n__1) & s__equipmentCount(V__O,V__T,V__C))))) ) )
|
Mid-level-ontology.kif 22056-22061 |
|
| ( ! [V__O,V__T] : ((s__instance(V__O,s__Artifact) & s__instance(V__T,s__Device) & s__instance(V__T,s__SetOrClass)) => s__equipmentType(V__O,V__T) => ( ? [V__D] : ((s__instance(V__D,s__Object) & (s__instance(V__D,V__T) & (s__part(V__D,V__O) | s__connected(V__D,V__O)))))) ) )
|
Mid-level-ontology.kif 22043-22050 |
|
| consequent |
|
|
| ( ! [V__O,V__C,V__T] : ((s__instance(V__O,s__Artifact) & s__instance(V__C,s__Quantity) & s__subclass(V__T,s__Device) & s__instance(V__T,s__Device)) => s__equipmentCount(V__O,V__T,V__C) => s__equipmentType(V__O,V__T) ) )
|
Mid-level-ontology.kif 22052-22054 |
|
|
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