|
|
   StationaryArtifact
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3584-3585 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15722-15725 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1256-1256 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15721-15721 | 子類 StationaryArtifact and Artifact |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15901-15901 | 不相交的 Clothing and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15880-15880 | 不相交的 Fabric and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3583 | 子類 自動提款機 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15380-15380 | 子類 Balcony and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1997-1997 | 子類 屏障 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1140-1140 | 子類 BowlingLane and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1619-1619 | 子類 橋 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 218-218 | 子類 電台 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15739-15739 | 子類 Building and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15395-15395 | 子類 建設水平 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20545-20545 | 子類 BuildingUnit and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5594-5594 | 子類 運河 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1692-1692 | 子類 運河鎖 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5607-5607 | 子類 運河結構 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1436-1436 | 子類 Casino and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15332-15332 | 子類 天花板 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15033-15033 | 子類 煙囪 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26016-26016 | 子類 Courtyard and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15047-15047 | 子類 抑制 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5612-5612 | 子類 壩 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26856-26856 | 子類 DanceHall and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15286-15286 | 子類 門口 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22576-22576 | 子類 教育設施 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15731-15731 | 子類 農場 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15669-15669 | 子類 籬笆 and StationaryArtifact |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6707-6707 | 域 街道地址, 1 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20802-20802 | 域 constructionPeriod, 1 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20817-20817 | 域 contractor, 1 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6699-6699 | 域 人的能力, 1 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20530-20530 | 域 workLocation, 2 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 476-476 | 域子類 maxRoomCapacity, 1 and StationaryArtifact |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12834-12839 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15727-15737 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12828-12832 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1157-1165 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1153-1155 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20823-20836 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1359-1368 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2519-2534 |
|
|
|
