TreeView Knowledge Base Browser - inString

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - inString

inString

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24373-24375
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24371-24371	域 inString, 1 and Character
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24372-24372	域 inString, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24370-24370	例 inString and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24376-24376	子關係 inString and 部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3710-3710
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3709-3709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3708-3708
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65856-65856

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 3041-3045	SymbolicString 是對於 Entity 的 acronym Character 是 SymbolicString 的 part 例 Character and 字母字符
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24407-24411	SymbolicString 是 SymbolicString 的 sub-string Character 是 SymbolicString 的 part Character 是 SymbolicString 的 part

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24378-24383	例 SymbolicString and SymbolicString 部分 Character and SymbolicString 例 Character and Character Character 是 SymbolicString 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24407-24411	SymbolicString 是 SymbolicString 的 sub-string Character 是 SymbolicString 的 part Character 是 SymbolicString 的 part
No TPTP formula. May not be expressible in strict first order.	Media.kif 2941-2948	例 SymbolicString and AlphaNumericString Character Character 例 Character and 字母字符 Character 是 SymbolicString 的 part 例 Character and 數字字符 Character 是 SymbolicString 的 part

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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