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	域 subString, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24389-24389	域 subString, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24384-24384	例 subString and AntisymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24386-24386	例 subString and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24385-24385	例 subString and ReflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24387-24387	例 subString and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24397-24397	子關係 subString and 部分

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 and subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24923-24923	子關係 telecomAreaCode and subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24934-24934	子關係 telecomCode2 and subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24890-24890	子關係 telecomCoreNumber and subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24908-24908	子關係 telecomCountryCode and 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	Human 是 called SymbolicString SymbolicString 是 Human 的 family name SymbolicString 是 SymbolicString 的 sub-string SymbolicString 是在 SymbolicString 的 key
No TPTP formula. May not be expressible in strict first order.	Media.kif 3461-3466	Human 是 called SymbolicString SymbolicString 是 Human 的 given name SymbolicString 是 SymbolicString 的 sub-string SymbolicString 是在 SymbolicString 的 key
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24399-24404	SymbolicString 是 SymbolicString 的 sub-string 等於 NonnegativeInteger and SymbolicString 的 length 等於 NonnegativeInteger and SymbolicString 的 length 小於或等於 NonnegativeInteger and NonnegativeInteger
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24406-24410	SymbolicString 是 SymbolicString 的 sub-string Character 是 SymbolicString 的 part Character 是 SymbolicString 的 part

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 736-748	Identifier 是 WebBrowser 的 ID 當取用 WebSite SymbolicString Process, AutonomousAgent and 電腦程序例 SymbolicString and WebPage SymbolicString 是 WebSite 的 sub-string 例 Process and AccessingWebPage 例 AutonomousAgent and AutonomousAgent agent Process and AutonomousAgent WebBrowser 是電腦程序的執行 program 原因電腦程序 and Process 目的地 Process and SymbolicString 代表 Identifier and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 125-131	SymbolicString 是在 WebSite hosted SymbolicString 例 SymbolicString and WebPage SymbolicString 是 SymbolicString 的 sub-string SymbolicString 是 WebSite 的 sub-string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24513-24517	SymbolicString precedes SymbolicString 在 SymbolicString SymbolicString 是 SymbolicString 的 sub-string SymbolicString 是 SymbolicString 的 sub-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