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 |