Process(过程) |
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. | Catalog.kif 130-137 | |
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 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23260-23267 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23289-23296 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2692-2701 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3791-3794 |