Object(object) |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 684-688 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25564-25566 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27166-27168 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25568-25570 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7805-7815 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26178-26180 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2716-2718 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11003-11011 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18645-18657 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 336-341 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4461-4470 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1286-1291 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 969-978 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17323-17345 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2405-2410 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30068-30077 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2782-2792 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 78-83 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2514-2524 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11018-11023 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3262-3273 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6017-6036 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 389-396 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12878-12883 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12970-12982 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |