| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15743-15743 | Stationary artifact is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 626-626 | WMD weapons production facility is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 637-637 | WMD weapons research facility is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 346-346 | Railway is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 378-378 | Railroad track is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1619-1619 | Bridge is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1625-1625 | Fixed bridge is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1631-1631 | Tunnel is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1692-1692 | Canal lock is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | Transit terminal is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1141-1141 | Bowling lane is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 21-21 | Recording studio is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1997-1997 | Barrier is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4722-4722 | Swimming pool is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6741-6741 | Mine is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6762-6762 | Prison is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6796-6796 | Voting poll is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6829-6829 | Monument is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6841-6841 | Tomb is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6853-6853 | Workshop is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7005-7005 | Sports facility is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7028-7028 | Place of commerce is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7908-7908 | Steeple is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15032-15032 | Chimney is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15046-15046 | Curb is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15062-15062 | Stairway is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15086-15086 | Steps is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15285-15285 | Doorway is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15307-15307 | Wall is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15320-15320 | Floor is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15331-15331 | Ceiling is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15342-15342 | Roof is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15352-15352 | Fireplace is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15379-15379 | Balcony is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15394-15394 | Building level is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15472-15472 | Garage is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15638-15638 | Veranda is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15650-15650 | Sidewalk is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15668-15668 | Fence is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15672-15672 | Sports ground is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15684-15684 | Industrial plant is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15705-15705 | Laboratory is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15725-15725 | Military installation is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15730-15730 | Farm is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15747-15747 | Performance stage is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15766-15766 | Performance stage wing is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20544-20544 | Building unit is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22575-22575 | Educational facility is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24587-24587 | Postal place is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25788-25788 | Running track is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26004-26004 | Courtyard is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26639-26639 | Lanai is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26844-26844 | Dance hall is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15761-15761 | Building is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | Room is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15798-15798 | Residence is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 89-89 | Hotel unit is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1436-1436 | Casino is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5594-5594 | Canal is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5607-5607 | Canal structure is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5612-5612 | Dam is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3583-3583 | ATM machine is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3083-3083 | Genius Bar is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 218-218 | Broadcasting station is a subclass of stationary artifact |
|
|