TreeView Knowledge Base Browser - LivestockPen

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LivestockPen

LivestockPen(pen)

cattle_pen, corral, cow_pen, creep, fold, holding_paddock, holding_pen, holding_yard, kraal, paddock, pen, pigpen, pigsty, pinfold, rodeo, sheep_pen, sheepcote, sheepfold, sty

appearance as argument number 1

(documentation LivestockPen EnglishLanguage "A TrapOrCage designed for Confining Livestock.")	Mid-level-ontology.kif 4650-4650
(subclass LivestockPen TrapOrCage)	Mid-level-ontology.kif 4649-4649	Pen is a subclass of trap or cage

appearance as argument number 2

(termFormat EnglishLanguage LivestockPen "pen")

Mid-level-ontology.kif 4651-4651

antecedent

(=>
    (instance ?T LivestockPen)
    (hasPurpose ?T
        (exists (?C ?L)
            (and
                (instance ?L Livestock)
                (instance ?C Confining)
                (instrument ?C ?T)
                (patient ?C ?L)))))

Mid-level-ontology.kif 4653-4661

If a physical is an instance of pen,
then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of livestock and the entity is an instance of confining and the physical is an instrument for the entity and the other entity is a patient of the entity

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