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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subString

 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 O argumento numero 1 de subString e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24390-24390 O argumento numero 2 de subString e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24385-24385 subString e' uma instancia de Relacao Anti-simetrica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24387-24387 subString e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24386-24386 subString e' uma instancia de Relacao Reflexiva
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24388-24388 subString e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24398-24398 subString e' uma sub-relacao de 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 keyName e' uma sub-relacao de subString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24924-24924 telecomAreaCode e' uma sub-relacao de subString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24935-24935 telecomCode2 e' uma sub-relacao de subString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24891-24891 telecomCoreNumber e' uma sub-relacao de subString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24909-24909 telecomCountryCode e' uma sub-relacao de subString
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 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