Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  inString

 Sigma KEE - inString
inString

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24372-24374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24370-24370 inString 的 1 数量 是 字符 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24371-24371 inString 的 2 数量 是 符号串 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24369-24369 inString 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24375-24375 inString 是 部分 的 subrelation

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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24406-24410

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24377-24382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24406-24410
No TPTP formula. May not be expressible in strict first order. Media.kif 2941-2948


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