Physical(physical) |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5869-5869 | The number 1 argument of hazardous is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4075-4075 | The number 1 argument of located is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 645-645 | The number 1 argument of managed by is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5891-5891 | The number 1 argument of maritime hazard is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7502-7502 | The number 1 argument of measure is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1279-1279 | The number 1 argument of member is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7783-7783 | The number 1 argument of monetary value is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 907-907 | The number 1 argument of near orientation is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2752-2752 | The number 2 argument of needs is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1438-1438 | The number 2 argument of object of bidding is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 922-922 | The number 1 argument of on orientation is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4045-4045 | The number 1 argument of partly located is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7736-7736 | The number 1 argument of price is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14334-14334 | The number 2 argument of record is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16608-16608 | The number 2 argument of registered item is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 671-671 | The number 1 argument of reservation channel is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25576-25576 | The number 1 argument of shape is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6135-6135 | The number 1 argument of system part is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3866-3866 | The number 1 argument of time is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29918-29918 | The number 1 argument of unique ID with respect to is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29919-29919 | The number 2 argument of unique ID with respect to is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2766-2766 | The number 2 argument of wants is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24191-24191 | The number 1 argument of weddingAnniversary is an instance of physical |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18324-18324 | The number 2 argument of department is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 501-501 | The number 1 argument of contracted rental price is a subclass of physical |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |