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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - nameIndexOrder
nameIndexOrder

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3302-3305
No TPTP formula. May not be expressible in strict first order. Media.kif 3300-3300 The number 1 argument of nameIndexOrder is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Media.kif 3301-3301 The number 2 argument of nameIndexOrder is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3299-3299 nameIndexOrder is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Media.kif 3298-3298 nameIndexOrder is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3307-3307 nameIndexOrder is a subrelation of names

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3959-3959
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3958-3958
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3957-3957
No TPTP formula. May not be expressible in strict first order. Media.kif 3306-3306 fullNameIndexOrder is a subrelation of nameIndexOrder

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3325-3329
No TPTP formula. May not be expressible in strict first order. Media.kif 3316-3323

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3376-3381
No TPTP formula. May not be expressible in strict first order. Media.kif 3344-3350
No TPTP formula. May not be expressible in strict first order. Media.kif 3309-3314


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