TreeView 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 27195-27197
(instance PrivateAttribute RelationalAttribute)	Mid-level-ontology.kif 27194-27194	PrivateAttribute e' uma instancia de Atributo Relacional

appearance as argument number 2

(termFormat EnglishLanguage PrivateAttribute "private attribute")

domainEnglishFormat.kif 65362-65362

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 e' uma instancia de Restaurant Objeto e' uma instancia de DiningRoom PrivateAttribute e' um atributo de Objeto AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Comer Processo e' um agente de Agente Cognitivo Agente Cognitivo e' uma instancia de GroupOfPeople o argumento Entidade Entidade customer Entidade and AutonomousAgent Agente Cognitivo e' igual a Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Entidade eventLocated Entidade and Objeto vale durante tempo de existencia de Processo tem a forca modal de Likely
(=> (attribute ?X PrivateAttribute) (modalAttribute (not (attribute ?X CommunalAttribute)) Likely))	Mid-level-ontology.kif 27203-27206	PrivateAttribute e' um atributo de Objeto o argumento CommunalAttribute e' um atributo de Objeto tem a forca modal de Likely

consequent

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

Mid-level-ontology.kif 27208-27211

CommunalAttribute e' um atributo de Objeto
o argumento PrivateAttribute e' um atributo de Objeto tem a forca modal de Likely

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: