No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1496-1518 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19565-19577 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17517-17522 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8262-8267 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8269-8279 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8690-8697 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1758-1780 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1708-1729 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12804-12810 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2669-2685 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2623-2639 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2687-2703 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2641-2659 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8025-8030 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 834-842 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8382-8384 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7998-8005 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8339-8343 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1270-1284 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1254-1268 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8212-8221 |
|