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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMaximumHeight
defaultMaximumHeight

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


(documentation defaultMaximumHeight EnglishLanguage "A BinaryPredicate that states the assumed maximum height of an Object") Mid-level-ontology.kif 10974-10974
(domain defaultMaximumHeight 2 LengthMeasure) Mid-level-ontology.kif 10973-10973
(domainSubclass defaultMaximumHeight 1 Object) Mid-level-ontology.kif 10972-10972
(instance defaultMaximumHeight BinaryPredicate) Mid-level-ontology.kif 10971-10971

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


(format EnglishLanguage defaultMaximumHeight "the maximum expected height of %1 is %2") domainEnglishFormat.kif 803-803
(termFormat EnglishLanguage defaultMaximumHeight "default maximum height") Mid-level-ontology.kif 10975-10975

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


(=>
    (defaultMaximumHeight ?OBJECT ?H)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST ?HEIGHT)
                (greaterThan ?HEIGHT ?H))) Unlikely))
Mid-level-ontology.kif 10976-10983


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners