HighRise - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HighRise EnglishLanguage "HighRise refers to a type of Building that has greater than 10 BuildingLevel")	Mid-level-ontology.kif 26537-26538
(subclass HighRise Building)	Mid-level-ontology.kif 26536-26536	HighRise ist eine teilkategorie von Building

appearance as argument number 2

(termFormat EnglishLanguage HighRise "high rise")

Mid-level-ontology.kif 26539-26539

antecedent

(=>
    (instance ?X HighRise)
    (exists (?LEVELS ?NUM)
        (and
            (instance ?LEVELS Collection)
            (forall (?FLR)
                (=>
                    (and
                        (instance ?FLR BuildingLevel)
                        (part ?FLR ?X))
                    (member ?FLR ?LEVELS)))
            (memberCount ?LEVELS ?NUM)
            (greaterThanOrEqualTo ?NUM 10))))

Mid-level-ontology.kif 26541-26553

Wenn Object ist ein fall von HighRise %n{nicht},
dann es gibt Collection und Integer um ** Collection ist ein fall von Collection %n{nicht} und fuer alle ** Object
- wenn ** ** Object ist ein fall von BuildingLevel %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht},
- dann ** ** Object ist ein Mitglied von ** Collection %n{nicht}
und memberCount ** Collection and ** Integer und ** Integer ist groesserAlsOderGleich 10 %n{nicht}

consequent

(=>
    (attribute ?ROOM TowerRoom)
    (exists (?BLDG)
        (and
            (instance ?BLDG HighRise)
            (located ?ROOM ?BLDG))))

Hotel.kif 1101-1106

Wenn TowerRoom ist ein attribut von Object %n{nicht},
dann es gibt ** Object um ** ** Object ist ein fall von HighRise %n{nicht} und ** Object befindet sich an %n{nicht}

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: