|
|
   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 | Artefact stationnaire est une sous-classe de artefact |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15901-15901 | V�tement est disjoint de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15880-15880 | Textile est disjoint de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3583 | ATMMachine est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15380-15380 | Balcony est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1997-1997 | Barrier est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1140-1140 | BowlingLane est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1619-1619 | Bridge est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 218-218 | BroadcastingStation est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15739-15739 | Immeuble est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15395-15395 | BuildingLevel est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20545-20545 | BuildingUnit est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5594-5594 | Canal est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1692-1692 | CanalLock est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5607-5607 | CanalStructure est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1436-1436 | Casino est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15332-15332 | Ceiling est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15033-15033 | Chimney est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26016-26016 | Courtyard est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15047-15047 | Curb est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5612-5612 | Dam est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26856-26856 | DanceHall est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15286-15286 | Doorway est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22576-22576 | EducationalFacility est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15731-15731 | Farm est une sous-classe de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15669-15669 | Fence est une sous-classe de artefact stationnaire |
| 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 | Le nombre 1 argument de StreetAddressFn est une instance de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20802-20802 | Le nombre 1 argument de constructionPeriod est une instance de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20817-20817 | Le nombre 1 argument de contractor est une instance de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6699-6699 | Le nombre 1 argument de humanCapacity est une instance de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20530-20530 | Le nombre 2 argument de workLocation est une instance de artefact stationnaire |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 476-476 | Le nombre 1 argument de maxRoomCapacity est une sous-classe de artefact stationnaire |
| 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 |
|
|
|
|
|
