SymbolicString(符号串)

-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 3614-3614 货币代码 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 879-879 dataID 的 2 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3686-3686 一天的电话 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3143-3143 displayTitle 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 371-371 文档 的 3 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3007-3007 电子邮件地址 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3726-3726 傍晚的电话 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 678-678 externalImage 的 2 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14723-14723 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2206-2206 filename 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4778-4778 国旗描述 的 2 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4786-4786 国旗图像 的 2 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24629-24629 floorCode 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 382-382 格式 的 3 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3288-3288 fullName 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3302-3302 fullNameIndexOrder 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14743-14743 给予的名称 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3193-3193 groupingTitle 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1022-1022 硬件类型 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3437-3437 humanName 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24372-24372 inString 的 2 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Communications.kif 436-436 互联网国家代码 的 2 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3279-3279 keyName 的 1 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3280-3280 keyName 的 2 数量 是 符号串instance
No TPTP formula. May not be expressible in strict first order. engineering.kif 41-41 词库 的 3 数量 是 符号串instance

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