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

Formal Language: 



KB Term:  Term intersection
English Word: 

  roomAttribute

 Sigma KEE - roomAttribute
roomAttribute

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


(documentation roomAttribute EnglishLanguage "(roomAttribute ?ROOM ?ATTR) means that all instances of HotelUnit ?ROOM has attribute ?ATTR") Hotel.kif 456-457
(domain roomAttribute 2 RelationalAttribute) Hotel.kif 461-461 Die Zahl 2 Argument von roomAttribute ist ein fall von RelationalAttribute %n{nicht}
(domainSubclass roomAttribute 1 HotelUnit) Hotel.kif 460-460 Die Zahl 1 Argument von roomAttribute ist eine teilkategorie von HotelUnit %n{nicht}
(instance roomAttribute BinaryPredicate) Hotel.kif 455-455 roomAttribute ist ein fall von BinaryPredicate %n{nicht}

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


(format ChineseLanguage roomAttribute "%2 是 %1 的 attribute ") domainEnglishFormat.kif 4442-4442
(format ChineseTraditionalLanguage roomAttribute "%2 是 %1 的 attribute ") domainEnglishFormat.kif 4441-4441
(format EnglishLanguage roomAttribute "%2 is an attribute of %1") domainEnglishFormat.kif 4440-4440
(termFormat EnglishLanguage roomAttribute "room attribute") Hotel.kif 458-458

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


(=>
    (roomAttribute ?ROOM ?ATTR)
    (forall (?R)
        (=>
            (instance ?R ?ROOM)
            (attribute ?R ?ATTR))))		 Hotel.kif 463-468


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