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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners