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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMaximumLength

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

Show without tree


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