TreeView 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 26492-26493
(subclass HighRise Building)	Mid-level-ontology.kif 26491-26491	HighRise ist eine teilkategorie von Building

appearance as argument number 2

(termFormat EnglishLanguage HighRise "high rise")

Mid-level-ontology.kif 26494-26494

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 26496-26508

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

KB Term:			Term intersection

English Word: