Process(过程) |
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. | Geography.kif 6031-6040 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2596-2605 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2154-2166 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1139-1151 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2519-2532 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4208-4223 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1194-1202 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1587-1596 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3482-3509 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 89-96 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14388-14393 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2630-2643 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2754-2763 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 882-901 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 914-925 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25994-26002 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26053-26074 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3355-3373 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3675-3704 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26719-26732 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14433-14439 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20693-20701 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 96-104 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4425-4430 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |