No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 171-176 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 233-238 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 218-223 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4307-4322 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4248-4263 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4216-4231 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2061-2072 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2894-2903 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2914-2925 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2875-2884 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32892-32907 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32834-32844 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32859-32874 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4028-4041 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7773-7782 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11717-11729 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6711-6715 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6745-6750 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6792-6816 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11674-11686 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 505-513 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27866-27873 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1139-1152 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1176-1182 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3959-3961 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |