Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - keyName
keyName

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3252-3254
No TPTP formula. May not be expressible in strict first order. Media.kif 3249-3249 The number 1 argument of keyName is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3250-3250 The number 2 argument of keyName is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3246-3246 keyName is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3245-3245 keyName is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3248-3248 keyName is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3247-3247 keyName is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3251-3251 keyName is a subrelation of subString

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3723-3723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3722-3722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3721-3721

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3282-3287
No TPTP formula. May not be expressible in strict first order. Media.kif 3289-3296
No TPTP formula. May not be expressible in strict first order. Media.kif 3356-3360
No TPTP formula. May not be expressible in strict first order. Media.kif 3383-3387
No TPTP formula. May not be expressible in strict first order. Media.kif 3316-3323
No TPTP formula. May not be expressible in strict first order. Media.kif 3309-3314

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 3422-3427
No TPTP formula. May not be expressible in strict first order. Media.kif 3431-3436
No TPTP formula. May not be expressible in strict first order. Media.kif 3340-3342
No TPTP formula. May not be expressible in strict first order. Media.kif 3372-3374


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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