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	域 subString, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24390-24390	域 subString, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24385-24385	例 subString and AntisymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24387-24387	例 subString and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24386-24386	例 subString and ReflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24388-24388	例 subString and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24398-24398	子關係 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 24924-24924	子關係 telecomAreaCode and subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24935-24935	子關係 telecomCode2 and subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24891-24891	子關係 telecomCoreNumber and subString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24909-24909	子關係 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 24400-24405	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 24407-24411	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 24514-24518	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