CardinalityFn |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13778-13790 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22173-22182 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 442-444 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 142-151 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21713-21728 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8062-8075 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2125-2134 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4476-4484 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2131-2135 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9473-9475 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9477-9479 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1588-1590 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9481-9483 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4916-4921 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5542-5547 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3149-3173 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3088-3090 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4896-4901 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9469-9471 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9459-9461 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2198-2207 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 750-755 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22640-22646 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2161-2170 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 733-738 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |