TreeView Knowledge Base Browser - FarmBuilding

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FarmBuilding

FarmBuilding(farm building)

farmhouse, feedlot, horse_barn, stable, stalls

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7119-7119	Farm building is disjoint from residential building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7120-7121
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2165-2165
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7118-7118	Farm building is a subclass of building

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23284-23284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23283-23283
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23282-23282

antecedent

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

Mid-level-ontology.kif 7123-7128

If a physical is an instance of farm building,
then there exists an object such that the object is an instance of farm and the physical is located at the object

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