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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMinimumWidth
defaultMinimumWidth

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


(documentation defaultMinimumWidth EnglishLanguage "A BinaryPredicate that states the assumed minimum width of an Object") Mid-level-ontology.kif 10995-10995
(domain defaultMinimumWidth 2 LengthMeasure) Mid-level-ontology.kif 10994-10994 domain defaultMinimumWidth, 2 and LengthMeasure
(domainSubclass defaultMinimumWidth 1 Object) Mid-level-ontology.kif 10993-10993 domainSubclass defaultMinimumWidth, 1 and Object
(instance defaultMinimumWidth BinaryPredicate) Mid-level-ontology.kif 10992-10992 instance defaultMinimumWidth and BinaryPredicate

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


(format ChineseLanguage defaultMinimumWidth "%1 的 minimum 预期宽度是 %2 ") domainEnglishFormat.kif 3215-3215
(format ChineseTraditionalLanguage defaultMinimumWidth "%1 的 minimum 預期寬度是 %2 ") domainEnglishFormat.kif 3214-3214
(format EnglishLanguage defaultMinimumWidth "the minimum expected width of %1 is %2") domainEnglishFormat.kif 3213-3213
(termFormat EnglishLanguage defaultMinimumWidth "default minimum width") Mid-level-ontology.kif 10996-10996

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


(=>
    (defaultMinimumWidth ?OBJECT ?W)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST ?WIDTH)
                (lessThan ?WIDTH ?W))) Unlikely))
Mid-level-ontology.kif 10997-11004


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