FreeAtom - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FreeAtom

FreeAtom(free atom)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21670-21670
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11013-11013
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10021-10021
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21669-21669	Free atom is a subclass of atom

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24896-24896
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24895-24895
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24894-24894

antecedent

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

Mid-level-ontology.kif 21672-21678

If an object is an instance of free atom,
then there doesn't exist another object such that the other object is an instance of molecule and the object is a part of the other object

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