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 24390-24396
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24388-24388	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 24389-24389	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 24384-24384	sub string is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24386-24386	sub string is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24385-24385	sub string is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24387-24387	sub string is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24397-24397	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 24923-24923	telecom area code is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24934-24934	telecom code2 is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24890-24890	telecom core number is a subrelation of sub string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24908-24908	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	If a human is called a symbolic string and another symbolic string is a family name of the human and the other symbolic string is a sub-string of the symbolic string, then the other symbolic string is a key in the symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3461-3466	If a human is called a symbolic string and another symbolic string is a given name of the human and the other symbolic string is a sub-string of the symbolic string, then not the other symbolic string is a key in the symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24399-24404	If a symbolic string is a sub-string of another symbolic string and a nonnegative integer is equal to the length of the symbolic string and another nonnegative integer is equal to the length of the other symbolic string, then the nonnegative integer is less than or equal to the other nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24406-24410	If a symbolic string is a sub-string of another symbolic string and a character is part of the symbolic string, then the character is part of the other symbolic string

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 736-748	If an identifier is the ID of a web browser when accessing a web site, then there exist a symbolic string, a process,, , an agent and a computer process such that the symbolic string is an instance of web page and the symbolic string is a sub-string of the web site and the process is an instance of accessing web page and the agent is an instance of agent and the agent is an agent of the process and the web browser is a program running of the computer process and the computer process causes the process and the process ends up at the symbolic string and the identifier expresses the agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 125-131	If a symbolic string is hosted on a web site, then there exists another symbolic string such that the other symbolic string is an instance of web page and the symbolic string is a sub-string of the other symbolic string and the other symbolic string is a sub-string of the web site
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24513-24517	If a symbolic string precedes another symbolic string in a third symbolic string, then the symbolic string is a sub-string of the third symbolic string and the other symbolic string is a sub-string of the third symbolic string

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