CardinalityFn |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13800-13812 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22172-22181 | |
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 21712-21727 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8061-8074 |
|
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 9495-9497 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9499-9501 |
|
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 9503-9505 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4914-4919 |
|
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. | Merge.kif 9491-9493 |
|
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. | 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 22639-22645 |
|
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 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21687-21702 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |