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

Formal Language: 



KB Term:  Term intersection
English Word: 

  precedesInString

 Sigma KEE - precedesInString
precedesInString

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24503-24510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24500-24500 The number 1 argument of precedes in string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24501-24501 The number 2 argument of precedes in string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24502-24502 The number 3 argument of precedes in string is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24499-24499 precedes in string is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4198-4198
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4197-4197
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4196-4196
No TPTP formula. May not be expressible in strict first order. Media.kif 3396-3396 name before key name is a subrelation of precedes in string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24511-24511 string concatenation is a subrelation of precedes in string
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65913-65913

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3386-3390
No TPTP formula. May not be expressible in strict first order. Media.kif 3413-3417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24519-24523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24513-24517

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24519-24523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24959-24963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24971-24975
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24977-24981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24947-24951
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24953-24957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24965-24969
No TPTP formula. May not be expressible in strict first order. Media.kif 3382-3384


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