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 15832-15833 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10431-10431 | |
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 9890-9890 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10432-10432 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15831-15831 | Artifact is a subclass of object |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | Natural satellite is disjoint from artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14509-14509 | Organism is disjoint from artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8152-8152 | Animal residence is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15989-15989 | Art work is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6623-6623 | Bandage is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4492-4492 | Bed frame is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4565-4565 | Bed linen is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5197-5197 | Board or block is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4693-4693 | Boat deck is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1424-1424 | Butt stock is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 920-920 | Cantilever object is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4443-4443 | Chain is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4485-4485 | Chain link is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16115-16115 | Device is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3796-3796 | Display artifact is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28286-28286 | 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 16029-16029 | Fabric is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1457-1457 | Fore stock is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4133-4133 | Furniture is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18363-18363 | Game artifact is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28376-28376 | Grab bar is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1315-1315 | Gun chamber is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2074-2074 | Gun cylinder is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1354-1354 | Gun muzzle 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 1518-1518 | 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 25986-25986 | 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 2198-2198 | 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 3920-3920 | 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 15855-15855 | The number 1 argument of version is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15856-15856 | The number 2 argument of version is a subclass of artifact |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7914-7922 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7901-7908 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 537-563 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15835-15840 |
|
consequent |
![]() |
![]() |
![]() |