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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - defaultMaximumLength
defaultMaximumLength

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


(documentation defaultMaximumLength EnglishLanguage "A BinaryPredicate that states the assumed maximum length of an Object") Mid-level-ontology.kif 11034-11034
(domain defaultMaximumLength 2 LengthMeasure) Mid-level-ontology.kif 11033-11033
(domainSubclass defaultMaximumLength 1 Object) Mid-level-ontology.kif 11032-11032
(instance defaultMaximumLength BinaryPredicate) Mid-level-ontology.kif 11031-11031

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


(format EnglishLanguage defaultMaximumLength "the maximum expected length of %1 is %2") domainEnglishFormat.kif 804-804
(termFormat EnglishLanguage defaultMaximumLength "default maximum length") Mid-level-ontology.kif 11035-11035

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


(=>
    (defaultMaximumLength ?O ?L)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?O)
                (length ?INST ?LENGTH)
                (greaterThan ?LENGTH ?L))) Unlikely))
Mid-level-ontology.kif 11036-11043

appearance as argument number 0
-------------------------


(defaultMaximumLength Hamster
    (MeasureFn 10 Centimeter))
Mid-level-ontology.kif 28748-28748


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