containsInformation |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2596-2605 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29691-29703 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4643-4658 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15967-15981 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1623-1628 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 653-661 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 663-671 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13157-13170 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 688-693 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 979-984 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29659-29667 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1534-1540 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1651-1655 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13802-13808 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1844-1848 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16187-16194 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1802-1807 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14954-14961 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14539-14545 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15921-15927 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29676-29684 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12689-12695 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14314-14320 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15447-15452 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3125-3132 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |