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 15872-15875 | |
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 15871-15871 | Stationary artifact is a subclass of artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7696-7696 | A stationary artifact is typically a part of a Facility |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16077-16077 | Clothing is disjoint from stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16030-16030 | Fabric is disjoint from stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7745-7745 | Mobile structure is disjoint from stationary artifact |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3601-3601 | ATM machine is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2112-2112 | Assembly station is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16753-16753 | Balcony is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1154-1154 | Bowling lane is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1748-1748 | Bridge 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 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15889-15889 | Building is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16768-16768 | Building level is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22162-22162 | Building unit is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5897-5897 | Canal is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1832-1832 | Canal lock is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5910-5910 | Canal structure is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1447-1447 | Casino is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16705-16705 | Ceiling is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16406-16406 | Chimney is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27914-27914 | Courtyard is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16420-16420 | Curb is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5915-5915 | Dam is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28755-28755 | Dance hall is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16659-16659 | Doorway is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24217-24217 | Educational facility is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17104-17104 | Farm is a subclass of stationary 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. | Mid-level-ontology.kif 7644-7644 | The number 1 argument of street address is an instance of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22419-22419 | The number 1 argument of construction period is an instance of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22434-22434 | The number 1 argument of contractor is an instance of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7636-7636 | The number 1 argument of human capacity is an instance of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22147-22147 | The number 2 argument of work location is an instance of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 476-476 | The number 1 argument of maximum capacity is a subclass of stationary artifact |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12988-12993 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15877-15887 |
|
consequent |
![]() |
![]() |
![]() |