No TPTP formula. May not be expressible in strict first order. |
emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 130-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 295-306 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16766-16776 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15887-15900 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 231-236 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 666-671 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7159-7172 |
|
No TPTP formula. May not be expressible in strict first order. |
Justice.kif 87-96 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2078-2091 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 526-540 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20459-20466 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21147-21177 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22720-22724 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 318-328 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 524-533 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21089-21101 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21066-21080 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26590-26592 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9318-9330 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9296-9308 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 541-551 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 915-917 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |