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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (defaultMaximumLength ?O ?L)
        (exists (?INST)
                (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