TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Wall EnglishLanguage "A StationaryArtifact that supports a Building or partitions it into Rooms.")	Mid-level-ontology.kif 15336-15337
(externalImage Wall "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Skogskyrkogarden_CementeryWall1.jpg")	pictureList.kif 198-198
(subclass Wall StationaryArtifact)	Mid-level-ontology.kif 15335-15335	Wall ist eine teilkategorie von StationaryArtifact

appearance as argument number 2

(termFormat ChineseLanguage Wall "壁")	domainEnglishFormat.kif 62105-62105
(termFormat ChineseTraditionalLanguage Wall "壁")	domainEnglishFormat.kif 62104-62104
(termFormat EnglishLanguage Wall "wall")	domainEnglishFormat.kif 62103-62103

antecedent

(=>
    (instance ?WALL Wall)
    (exists (?ARTIFACT)
        (and
            (part ?WALL ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))

Mid-level-ontology.kif 15339-15346

Wenn Object ist ein fall von Wall %n{nicht},
dann es gibt ** Object um ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein fall von Building %n{nicht} oder ** ** Object ist ein fall von Room %n{nicht}

consequent

(=> (attribute ?X AdjoiningRoom) (exists (?ROOM ?WALL ?DOOR) (and (attribute ?ROOM AdjoiningRoom) (not (equal ?ROOM ?X)) (orientation ?X ?ROOM Adjacent) (instance ?WALL Wall) (part ?WALL ?ROOM) (part ?WALL ?X) (instance ?DOOR Door) (part ?DOOR ?WALL))))	Mid-level-ontology.kif 15264-15275	Wenn AdjoiningRoom ist ein attribut von Object %n{nicht}, dann es gibt Object, Object, and und Object um AdjoiningRoom ist ein attribut von Object %n{nicht} und Object ist gleich Object nicht und Object ist Adjacent hinsichlich Object %n{nicht} und Object ist ein fall von Wall %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Door %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?P Wallpaper) (hasPurpose ?P (exists (?W ?R ?C) (and (instance ?W Wall) (part ?W ?R) (instance ?R Room) (instance ?C Covering) (patient ?C ?W) (instrument ?C ?P)))))	Mid-level-ontology.kif 3124-3134	Wenn Physical ist ein fall von Wallpaper %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Wall %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein fall von Room %n{nicht} und entity ist ein fall von Covering %n{nicht} und entity ist ein patient von entity %n{nicht} und Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (instance ?SHOWER Shower) (exists (?X ?FLOOR) (and (or (instance ?X Wall) (instance ?X Ceiling)) (connected ?SHOWER ?X) (instance ?FLOOR Floor) (orientation ?SHOWER ?FLOOR Above))))	Mid-level-ontology.kif 2030-2039	Wenn Object ist ein fall von Shower %n{nicht}, dann es gibt Object und Object um Object ist ein fall von Wall %n{nicht} oder Object ist ein fall von Ceiling %n{nicht} und Object wird an Object angeschlossen und Object ist ein fall von Floor %n{nicht} und Object ist Above hinsichlich Object %n{nicht}
(=> (instance ?X GrabBar) (and (exists (?WALL) (and (instance ?WALL Wall) (connected ?X ?WALL))) (hasPurpose ?X (exists (?GRAB) (and (instance ?GRAB Grabbing) (instrument ?GRAB ?X))))))	Mid-level-ontology.kif 26515-26526	Wenn Object ist ein fall von GrabBar %n{nicht}, dann es gibt Object um Object ist ein fall von Wall %n{nicht} und Object wird an Object angeschlossen und Object hat Zweck von es gibt entity um entity ist ein fall von Grabbing %n{nicht} und Object ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent))))	Mid-level-ontology.kif 26788-26794	Wenn Object ist ein fall von Solarium %n{nicht}, dann es gibt Object um Object ist ein fall von Wall %n{nicht} und Object ist ein teil von Object %n{nicht} und Transparent ist ein attribut von Object %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: