| appearance as argument number 1 |
|
|
| s__documentation(s__StationaryArtifact,s__ChineseLanguage,'StationaryArtifact 是一种有固定空间位置 的 Artifact。这个 Class 多数的实例为建筑作品，如：艾菲尔铁塔、大金字塔、办公大楼、单户式住宅等等。')
|
Merge.kif 15800-15801 | |
| s__documentation(s__StationaryArtifact,s__EnglishLanguage,'A StationaryArtifact is an Artifact that has a fixed spatial location. Most instances of this Class are architectural works, e.g. the Eiffel Tower, the Great Pyramids, office towers, single-family houses, etc.')
|
Merge.kif 15796-15799 | |
| s__externalImage(s__StationaryArtifact,'http://upload.wikimedia.org/wikipedia/commons/thumb/a/af/All_Gizah_Pyramids.jpg/300px-All_Gizah_Pyramids.jpg')
|
pictureList.kif 1257-1257 | |
| s__subclass(s__StationaryArtifact,s__Artifact)
|
Merge.kif 15795-15795 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__StreetAddressFn__m,1,s__StationaryArtifact)
|
Mid-level-ontology.kif 6368-6368 | |
| s__domain(s__constructionPeriod__m,1,s__StationaryArtifact)
|
Mid-level-ontology.kif 18397-18397 | |
| s__domain(s__contractor__m,1,s__StationaryArtifact)
|
Mid-level-ontology.kif 18411-18411 | |
| s__domain(s__humanCapacity__m,1,s__StationaryArtifact)
|
Mid-level-ontology.kif 6333-6333 | |
| s__domainSubclass(s__maxRoomCapacity__m,1,s__StationaryArtifact)
|
Hotel.kif 449-449 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15803-15813 |
| consequent |
|
|
| ( ! [V__ARTIFACT] : ((? [V__BUILD] : (s__instance(V__BUILD,s__Constructing) & s__result(V__BUILD,V__ARTIFACT))) <=> s__instance(V__ARTIFACT,s__StationaryArtifact)) )
|
Merge.kif 12698-12703 | |
| ( ! [V__X] : (s__attribute(V__X,s__LoftStyle) => (? [V__FLOOR,V__LOFT,V__CEILING] : (s__bottom(V__FLOOR,V__X) & s__top(V__CEILING,V__X) & s__instance(V__LOFT,s__StationaryArtifact) & s__orientation(V__LOFT,V__FLOOR,s__Above) & s__orientation(V__LOFT,V__CEILING,s__Below)))) )
|
Hotel.kif 1110-1118 | |
| ( ! [V__X] : (s__attribute(V__X,s__LoftStyle) => s__instance(V__X,s__StationaryArtifact)) )
|
Hotel.kif 1106-1108 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18417-18430 | |
| ( ! [V__Estate] : (s__instance(V__Estate,s__RealEstate) => (s__instance(V__Estate,s__StationaryArtifact) | s__instance(V__Estate,s__LandArea) | (? [V__Artifact,V__Area] : (s__instance(V__Artifact,s__StationaryArtifact) & s__instance(V__Area,s__LandArea) & (V__Estate = s__MereologicalSumFn(V__Artifact,V__Area)))))) )
|
FinancialOntology.kif 1301-1310 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2448-2463 |
|
|
|