TreeView Knowledge Base Browser - Conifers

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Conifers

Conifers(conifers)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6556-6557
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6555-6555	Conifers is a subclass of evergreen tree

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6570-6570	Cedar tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6575-6575	Cypress tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6582-6582	Fir tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6587-6587	Larch tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6559-6559	Pine tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6592-6592	Spruce tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64689-64689

consequent

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

Economy.kif 5409-5416

If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of softwood and a kind of organic object is a subclass of plant stem,
then the statement every the kind of organic object is initially part of a conifers has the modal force of likely

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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