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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tripod

Sigma KEE - 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 26737-26738
(subclass Tripod Device) Mid-level-ontology.kif 26736-26736

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


(subclass Easel Tripod) Mid-level-ontology.kif 26767-26767
(termFormat EnglishLanguage Tripod "tripod") Mid-level-ontology.kif 26739-26739

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 26741-26750
(=>
    (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 26752-26765


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