SymbolicString(symbolic string) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3614-3614 | The number 1 argument of currency code is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 879-879 | The number 2 argument of dataID is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3686-3686 | The number 1 argument of day phone is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3143-3143 | The number 1 argument of display title is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 371-371 | The number 3 argument of documentation is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3007-3007 | The number 1 argument of email address is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3726-3726 | The number 1 argument of evening phone is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 678-678 | The number 2 argument of external image is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14723-14723 | The number 1 argument of family name is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2206-2206 | The number 1 argument of filename is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4778-4778 | The number 2 argument of flag description is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4786-4786 | The number 2 argument of flag image is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24629-24629 | The number 1 argument of floor code is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 382-382 | The number 3 argument of format is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3288-3288 | The number 1 argument of full name is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3302-3302 | The number 1 argument of full name index order is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14743-14743 | The number 1 argument of given name is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3193-3193 | The number 1 argument of grouping title is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1022-1022 | The number 1 argument of hardware type is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3437-3437 | The number 1 argument of human name is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24372-24372 | The number 2 argument of in string is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 436-436 | The number 2 argument of internet country code is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3279-3279 | The number 1 argument of key name is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3280-3280 | The number 2 argument of key name is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 41-41 | The number 3 argument of lexicon is an instance of symbolic string |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |