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 域 precedesInString, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24501-24501 域 precedesInString, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24502-24502 域 precedesInString, 3 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24499-24499 例 precedesInString and TernaryPredicate

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 子關係 nameBeforeKeyName and precedesInString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24511-24511 子關係 stringConcatenation and precedesInString
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