PrivateAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PrivateAttribute EnglishLanguage "PrivateAttribute describes how an object is not available to other people without the consent of the current owner")	Mid-level-ontology.kif 28809-28811
(instance PrivateAttribute RelationalAttribute)	Mid-level-ontology.kif 28808-28808	PrivateAttribute est une instance de attribut relationnel

appearance as argument number 2

(termFormat EnglishLanguage PrivateAttribute "private attribute")

domainEnglishFormat.kif 65383-65383

antecedent

(=> (and (instance ?REST Restaurant) (instance ?DR DiningRoom) (attribute ?DR PrivateAttribute) (possesses ?REST ?DR) (customer ?GRP1 ?REST) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople)) (modalAttribute (not (exists (?GRP2 ?E2) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely))	Dining.kif 1227-1246	AutonomousAgent est une instance de Restaurant objet est une instance de DiningRoom PrivateAttribute est un attribut de objet AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent processus est une instance de manger processus est un agent de agent cognitif agent cognitif est une instance de GroupOfPeople l'argument entit� entit� customer entit� and AutonomousAgent agent cognitif est entit� entit� est une instance de manger entit� est un agent de entit� eventLocated entit� and objet pendant temps d'existence de processus a la force modale de Likely
(=> (attribute ?X PrivateAttribute) (modalAttribute (not (attribute ?X CommunalAttribute)) Likely))	Mid-level-ontology.kif 28817-28820	PrivateAttribute est un attribut de objet l'argument CommunalAttribute est un attribut de objet a la force modale de Likely

consequent

(=>
    (attribute ?X CommunalAttribute)
    (modalAttribute
        (not
            (attribute ?X PrivateAttribute)) Likely))

Mid-level-ontology.kif 28822-28825

CommunalAttribute est un attribut de objet
l'argument PrivateAttribute est un attribut de objet a la force modale de Likely

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: