Collection(群体) |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1972-1983 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1162-1168 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2803-2815 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2981-2987 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 799-834 |
|
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. | UXExperimentalTerms.kif 4281-4293 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7932-7938 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 72-79 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1158-1170 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1057-1070 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25402-25411 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3013-3019 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1141-1149 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3074-3081 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 610-617 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25911-25917 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25919-25927 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26508-26520 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 728-737 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2830-2855 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2242-2259 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1335-1342 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 607-617 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2173-2191 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |