TreeView Knowledge Base Browser - subString

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	Le nombre 1 argument de subString est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24390-24390	Le nombre 2 argument de subString est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24385-24385	subString est une instance de relation antisym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24387-24387	subString est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24386-24386	subString est une instance de relation r�flexive
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24388-24388	subString est une instance de relation total
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24398-24398	subString est une sous-relation 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 est une sous-relation de subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24924-24924	telecomAreaCode est une sous-relation de subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24935-24935	telecomCode2 est une sous-relation de subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24891-24891	telecomCoreNumber est une sous-relation de subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24909-24909	telecomCountryCode est une sous-relation 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	humanName cha�ne sympbolique and humain familyName cha�ne sympbolique and humain subString cha�ne sympbolique and cha�ne sympbolique keyName cha�ne sympbolique and cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3461-3466	humanName cha�ne sympbolique and humain givenName cha�ne sympbolique and humain subString cha�ne sympbolique and cha�ne sympbolique keyName cha�ne sympbolique and cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24400-24405	subString cha�ne sympbolique and cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est plus petit ou �gal � nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24407-24411	subString cha�ne sympbolique and cha�ne sympbolique inString character and cha�ne sympbolique inString character and cha�ne sympbolique

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 736-748	browserID Identifier, WebBrowser and WebSite cha�ne sympbolique processus, AutonomousAgent and ComputerProcess cha�ne sympbolique est une instance de WebPage subString cha�ne sympbolique and WebSite processus est une instance de AccessingWebPage AutonomousAgent est une instance de AutonomousAgent processus est un agent de AutonomousAgent programRunning ComputerProcess and WebBrowser ComputerProcess cause processus processus aboutit � cha�ne sympbolique Identifier d�finie AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 125-131	hostedOn cha�ne sympbolique and WebSite cha�ne sympbolique cha�ne sympbolique est une instance de WebPage subString cha�ne sympbolique and cha�ne sympbolique subString cha�ne sympbolique and WebSite
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24514-24518	precedesInString cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique subString cha�ne sympbolique and cha�ne sympbolique subString cha�ne sympbolique and cha�ne sympbolique

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