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 3270-3272
No TPTP formula. May not be expressible in strict first order. Media.kif 3267-3267 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 3268-3268 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 3264-3264 keyName is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3263-3263 keyName is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3266-3266 keyName is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3265-3265 keyName is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3269-3269 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 3300-3305
No TPTP formula. May not be expressible in strict first order. Media.kif 3307-3314
No TPTP formula. May not be expressible in strict first order. Media.kif 3374-3378
No TPTP formula. May not be expressible in strict first order. Media.kif 3401-3405
No TPTP formula. May not be expressible in strict first order. Media.kif 3334-3341
No TPTP formula. May not be expressible in strict first order. Media.kif 3327-3332

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3440-3445
No TPTP formula. May not be expressible in strict first order. Media.kif 3449-3454
No TPTP formula. May not be expressible in strict first order. Media.kif 3358-3360
No TPTP formula. May not be expressible in strict first order. Media.kif 3390-3392


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