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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subString
subString

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24391-24397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24389-24389 The number 1 argument of sub string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24390-24390 The number 2 argument of sub string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24385-24385 sub string is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24387-24387 sub string is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24386-24386 sub string is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24388-24388 sub string is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24398-24398 sub string is a subrelation of part

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4702-4702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4701-4701
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4700-4700
No TPTP formula. May not be expressible in strict first order. Media.kif 3281-3281 key name is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24924-24924 telecom area code is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24935-24935 telecom code2 is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24891-24891 telecom core number is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24909-24909 telecom country code is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65946-65946

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3452-3457
No TPTP formula. May not be expressible in strict first order. Media.kif 3461-3466
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24400-24405
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24407-24411

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 736-748
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 125-131
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24514-24518


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



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