Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  unitNumber

 Sigma KEE - unitNumber
unitNumber

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


(instance unitNumber BinaryPredicate) Mid-level-ontology.kif 26901-26901 unit number is an instance of binary predicate
(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 26902-26904 unit number is an instance of binary predicate
(domain unitNumber 1 SymbolicString) Mid-level-ontology.kif 26905-26905 The number 1 argument of unit number is an instance of symbolic string
(domain unitNumber 2 PostalPlace) Mid-level-ontology.kif 26906-26906 The number 2 argument of unit number is an instance of postal place

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


(format EnglishLanguage unitNumber "the unit number of %2 is %1") domainEnglishFormat.kif 4878-4878
(format ChineseTraditionalLanguage unitNumber "%2 的 unit 號碼是 %1 ") domainEnglishFormat.kif 4879-4879
(format ChineseLanguage unitNumber "%2 的 unit 号码是 %1 ") domainEnglishFormat.kif 4880-4880
(termFormat EnglishLanguage unitNumber "unit number") domainEnglishFormat.kif 60425-60425
(termFormat ChineseTraditionalLanguage unitNumber "單位號碼") domainEnglishFormat.kif 60426-60426
(termFormat ChineseLanguage unitNumber "单位号码") domainEnglishFormat.kif 60427-60427

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 26914-26925 If the unit number of X is Y and Z is the floor of X, then All of the following hold: (1) there exist W (2) V such that V is an instance of building level (3) W is an instance of room (4) W is located at V (5) V is a part of X (6) W has name Y (7) V has name Z
(=>
    (and
        (unitNumber ?UNITSTR ?PLACE)
        (not
            (exists (?FLR)
                (floorCode ?FLR ?PLACE))))
    (exists (?UNIT)
        (and
            (instance ?UNIT Room)
            (names ?UNITSTR ?UNIT)
            (located ?UNIT ?PLACE))))		 Mid-level-ontology.kif 26927-26937 If the unit number of X is Y and there doesn't exist Z such that Z is the floor of X, then there exists W such that W is an instance of room, W has name Y, and W is located at X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners