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 The number 2 argument of default maximum length is an instance of length measure
(domainSubclass defaultMaximumLength 1 Object) Mid-level-ontology.kif 11032-11032 The number 1 argument of default maximum length is a subclass of object
(instance defaultMaximumLength BinaryPredicate) Mid-level-ontology.kif 11031-11031 default maximum length is an instance of binary predicate

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 "default maximum length" is the printable form of default maximum length in english language

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 The maximum expected length of hamster is 10 centimeter(s)


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