appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3579-3579 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15682-15683 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10433-10433 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10435-10435 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9891-9891 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10434-10434 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15681-15681 | Artifact is a subclass of object |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3388-3388 | Natural satellite is disjoint from artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14356-14356 | Organism is disjoint from artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6991-6991 | Animal residence 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. | Merge.kif 15839-15839 | Art work is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5686-5686 | Bandage 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 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 4250-4250 | Boat deck is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4382-4382 | Chain is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4424-4424 | Chain link is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15939-15939 | Device 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 26387-26387 | Document 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. | Merge.kif 15879-15879 | Fabric 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 16976-16976 | Game artifact is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26477-26477 | Grab bar is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4689-4689 | Vehicle interior 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. | Mid-level-ontology.kif 15109-15109 | Ladder 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 4029-4029 | Mattress is a subclass of artifact |
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. | engineering.kif 1205-1205 | The number 2 argument of engineers is an instance of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24324-24324 | The number 1 argument of equipment type is an instance of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1735-1735 | The number 2 argument of power component is an instance of artifact |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3925-3925 | The number 1 argument of third party product is an instance of artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15705-15705 | The number 1 argument of version is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15706-15706 | The number 2 argument of version is a subclass of artifact |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15685-15690 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31018-31023 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5747-5767 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12817-12822 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13233-13239 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6858-6865 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4607-4620 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4626-4640 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27015-27020 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26739-26748 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26229-26243 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26719-26732 |
|