refers |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29868-29888 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14477-14483 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1686-1694 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16135-16140 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9271-9276 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29895-29915 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3386-3393 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 724-729 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14938-14943 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16595-16600 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1681-1686 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3109-3114 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2204-2213 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26427-26435 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26415-26420 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21317-21322 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 647-652 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 633-639 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1175-1177 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 434-441 |