No TPTP formula. May not be expressible in strict first order. |
Biography.kif 757-776 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 501-514 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3759-3784 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 516-522 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 524-530 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21776-21795 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 620-630 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23575-23581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23583-23589 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23591-23598 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1275-1296 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1207-1216 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 662-670 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17051-17063 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 85-91 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 93-99 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13442-13449 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1794-1800 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15957-15961 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15933-15937 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23506-23511 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1940-1953 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1929-1938 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8243-8257 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |