Order - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Order

Order(order)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14284-14285
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11582-11582
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11581-11581
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10175-10175
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14283-14283	Order is a subclass of sentence

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42450-42450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42449-42449
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42448-42448

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 14287-14292

If a process is an instance of ordering and an entity is a result of the process and the entity is an instance of sentence,
then the entity is an instance of order

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