| SymbolicString | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1644-1644 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1338-1338 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 229-229 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 271-271 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | 子類 SymbolicString and 內容承載物理 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2053-2053 | 範圍 EmailLocalPartFn and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3063-3063 | 範圍 ReverseFn and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24475-24475 | 範圍 StringConcatenateFn and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24419-24419 | 範圍 SubstringFn and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3169-3169 | 子類 AOCnumber and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29928-29928 | 子類 AccountNumber and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2938-2938 | 子類 AlphaNumericString and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2901-2901 | 子類 AlphabeticString and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1340-1340 | 子類 Character and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2083-2083 | 子類 電腦密碼 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2911-2911 | 子類 DecimalDigitString and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1851-1851 | 子類 數字數據 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29939-29939 | 子類 InvoiceNumber and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 218-218 | 子類 實際地址 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24846-24846 | 子類 PostalAddressText and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30012-30012 | 子類 PurchaseOrderNumber and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2410-2410 | 子類 SearchQuery and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19455-19455 | 子類 音節 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | 子類 TelecomNumber and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1580-1580 | 子類 UnicodeString and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2047-2047 | 子類 用戶名 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 834-834 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 870-870 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 510-510 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5582-5582 | 域 卡帕, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3062-3062 | 域 ReverseFn, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24473-24473 | 域 StringConcatenateFn, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24474-24474 | 域 StringConcatenateFn, 2 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24446-24446 | 域 StringLengthFn, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24416-24416 | 域 SubstringFn, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3154-3154 | 域 abbreviatedDisplayTitle, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27231-27231 | 域 縮寫, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3032-3032 | 域 acronym, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3422-3422 | 域 agentName, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2586-2586 | 域 組織的目標, 2 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23207-23207 | 域 別號, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3122-3122 | 域 alternativeTitle, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24582-24582 | 域 canonicalPlaceName, 3 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4734-4734 | 域 地區的地址, 2 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4765-4765 | 域 arearyFAX在區域內的數量, 2 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4744-4744 | 域 地區的尚書郵寄地址, 2 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4755-4755 | 域 區域內的尚書電話號碼, 2 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2265-2265 | 域 codeMapping, 2 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18367-18367 | 域 comment, 2 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18368-18368 | 域 comment, 3 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 901-901 | 域 組件數據ID, 5 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3880-3880 | 域 確認號碼, 2 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27214-27214 | 域 傳統的長名, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27226-27226 | 域 傳統的短名稱, 1 and SymbolicString |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24378-24383 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1347-1352 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14715-14717 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3234-3240 |
|
|
|
|