Object(客体) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4819-4833 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17746-17753 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4061-4068 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4055-4059 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 125-130 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9601-9607 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1883-1900 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7848-7862 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18150-18184 |
|
No TPTP formula. May not be expressible in strict first order. | Justice.kif 61-69 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3282-3302 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1841-1858 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1822-1839 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1596-1603 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1605-1621 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 148-157 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 159-165 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 109-115 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 86-98 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 61-68 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2271-2278 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 98-107 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 871-897 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 569-589 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |