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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fullNameIndexOrder
fullNameIndexOrder

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3304-3309
No TPTP formula. May not be expressible in strict first order. Media.kif 3302-3302 The number 1 argument of full name index order is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3303-3303 The number 2 argument of full name index order is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3301-3301 full name index order is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3300-3300 full name index order is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3310-3310 full name index order is a subrelation of full name
No TPTP formula. May not be expressible in strict first order. Media.kif 3336-3336 full name index order is a subrelation of name index order

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3514-3514
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3513-3513
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3512-3512
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 66306-66306

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3319-3326

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3312-3317
No TPTP formula. May not be expressible in strict first order. Media.kif 3355-3359


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