Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Tripod
Tripod(tripod)camera_tripod, tripod

appearance as argument number 1
-------------------------


(documentation Tripod EnglishLanguage "Tripod refers to a Device with 3 legs to support some other Object") Mid-level-ontology.kif 28603-28604
(subclass Tripod Device) Mid-level-ontology.kif 28602-28602 Tripod is a subclass of device

appearance as argument number 2
-------------------------


(subclass Easel Tripod) Mid-level-ontology.kif 28633-28633 Easel is a subclass of tripod
(termFormat EnglishLanguage Tripod "tripod") Mid-level-ontology.kif 28605-28605 Easel is a subclass of tripod

antecedent
-------------------------


(=>
    (instance ?X Tripod)
    (exists (?LEG1 ?LEG2 ?LEG3)
        (and
            (part ?LEG1 ?X)
            (part ?LEG2 ?X)
            (part ?LEG3 ?X)
            (meetsSpatially ?LEG1 ?LEG2)
            (meetsSpatially ?LEG2 ?LEG3)
            (meetsSpatially ?LEG1 ?LEG3))))
Mid-level-ontology.kif 28607-28616
(=>
    (instance ?X Tripod)
    (hasPurpose ?X
        (exists (?OBJ ?PUT ?PROC)
            (and
                (instance ?OBJ Artifact)
                (instance ?PUT Putting)
                (patient ?PUT ?OBJ)
                (destination ?PUT ?X)
                (instance ?PROC Process)
                (instrument ?PROC ?OBJ)
                (before
                    (EndFn
                        (WhenFn ?PUT))
                    (BeginFn
                        (WhenFn ?PROC)))))))
Mid-level-ontology.kif 28618-28631


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