CommunalAttribute - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CommunalAttribute

CommunalAttribute

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27145-27146
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27144-27144	CommunalAttribute e' uma instancia de Atributo Relacional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 27147-27147

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	CommunalAttribute e' um atributo de Objeto Objeto e' uma instancia de Table Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de GroupOfPeople eventLocated Processo and Objeto o argumento Entidade Entidade and Objeto2 Entidade e' uma instancia de Comer Entidade e' um agente de Entidade AutonomousAgent e' igual a Entidade Entidade e' uma instancia de GroupOfPeople eventLocated Entidade and Objeto2 tempo de existencia de Processo encontra tempo de existencia de Entidade Objeto e' igual a Objeto2 tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27154-27156	CommunalAttribute e' um atributo de Objeto Objeto e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27163-27166	CommunalAttribute e' um atributo de Objeto o argumento PrivateAttribute e' um atributo de Objeto tem a forca modal de Likely

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	Objeto e' uma instancia de Nursery Objeto e' um elemento de propriedade de AutonomousAgent TravelerAccommodation e' um atributo de AutonomousAgent Agente Cognitivo Entidade CommunalAttribute e' um atributo de Objeto AutonomousAgent emprega Agente Cognitivo Agente Cognitivo tem por fim Entidade e' uma instancia de ChildCareService serviceProvider Entidade and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27158-27161	PrivateAttribute e' um atributo de Objeto o argumento CommunalAttribute e' um atributo de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25412-25414	Objeto e' uma instancia de SelfServiceLaundry CommunalAttribute e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 267-269	Objeto e' uma instancia de Buffet CommunalAttribute e' um atributo de Objeto

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