| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15703-15703 | Artifact is a subclass of object |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2511-2511 | Ships hull is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2515-2515 | Ship deck is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2559-2559 | Ship compartment is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2929-2929 | Transit shelter is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1830-1830 | Tobacco product is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1609-1609 | Armor is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1468-1468 | Shield is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1501-1501 | Mast is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | Tube is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1537-1537 | Photographic film is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1541-1541 | Picture frame is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1555-1555 | Shelf is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3353-3353 | Display artifact is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3373-3373 | Wheel is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3432-3432 | Vehicle tire is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3560-3560 | Paper is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3607-3607 | Wire is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3650-3650 | String is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3659-3659 | Plug is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3668-3668 | Pottery is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3678-3678 | Pillow is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3682-3682 | Mirror is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3690-3690 | Furniture is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4029-4029 | Mattress is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4049-4049 | Bed frame is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4122-4122 | Bed linen is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4250-4250 | Boat deck is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4741-4741 | Board or block is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4765-4765 | Veneer is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5196-5196 | Shoe sole is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5685-5685 | Bandage is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6755-6755 | Mobile residence is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6990-6990 | Animal residence is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15108-15108 | Ladder is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15170-15170 | Window is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15211-15211 | Window covering is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16975-16975 | Game artifact is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17828-17828 | Military artifact is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26330-26330 | Sail is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26375-26375 | Document is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26465-26465 | Grab bar is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15383-15383 | Text is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15714-15714 | Product is a subclass of artifact |
| 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. | Merge.kif 15861-15861 | Art work is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15901-15901 | Fabric is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15910-15910 | Wearable item is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15961-15961 | Device is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2633-2633 | Water catchment is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5625-5625 | Reservoir is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5701-5701 | Irrigation channel is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 326-326 | Wet bar is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 291-291 | Piston is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 307-307 | Engine cylinder is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4390-4390 | Chain is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4432-4432 | Chain link is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4697-4697 | Vehicle interior is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5036-5036 | Vehicle seat is a subclass of artifact |
|
|