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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - unitNumber
unitNumber

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


(documentation unitNumber EnglishLanguage "(unitNumber ?STR ?PLACE) means that ?STR represents the particular unit or space within the building that a PostalPlace is located") Mid-level-ontology.kif 22414-22416
(domain unitNumber 1 SymbolicString) Mid-level-ontology.kif 22417-22417 The number 1 argument of unit number is an instance of symbolic string
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 22418-22418 The number 2 argument of unit number is an instance of PostalPlace
(instance unitNumber BinaryPredicate) Mid-level-ontology.kif 22413-22413 unit number is an instance of binary predicate

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


(format EnglishLanguage unitNumber "the unit number of %2 is %1") domainEnglishFormat.kif 1229-1229
(termFormat EnglishLanguage unitNumber "unit number") domainEnglishFormat.kif 10498-10498 "unit number" is the printable form of unit number in english language

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


(=>
    (and
        (unitNumber ?UNITSTR ?PLACE)
        (floorCode ?FLRCODE ?PLACE))
    (exists (?UNIT ?FLOOR)
        (and
            (instance ?FLOOR BuildingLevel)
            (instance ?UNIT Room)
            (located ?UNIT ?FLOOR)
            (part ?FLOOR ?PLACE)
            (names ?UNITSTR ?UNIT)
            (names ?FLRCODE ?FLOOR))))
Mid-level-ontology.kif 22426-22437
(=>
    (and
        (unitNumber ?UNITSTR ?PLACE)
        (not
            (exists (?FLR)
                (floorCode ?FLR ?PLACE))))
    (exists (?UNIT)
        (and
            (instance ?UNIT Room)
            (names ?UNITSTR ?UNIT)
            (located ?UNIT ?BLDG))))
Mid-level-ontology.kif 22439-22449


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