Mine - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Mine

Mine(mine)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6743-6744
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4779-4779
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6742-6742	Mine is a subclass of stationary artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37823-37823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37822-37822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37821-37821

antecedent

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

Mid-level-ontology.kif 6746-6754

If a physical is an instance of mine,
then the physical has the purpose there exist an entity and the physicalRAL such that the entity is an instance of removing and the physicalRAL is a patient of the entity and the physicalRAL is an instance of mineral and the entity originates at the physical

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