TreeView Knowledge Base Browser - Outdoors

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Outdoors

Outdoors

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9129-9130
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1312-1312
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9128-9128	Outdoors e' uma sub-classe de Regiao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9141-9141	Indoors e' disjunto de Outdoors
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43674-43674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43673-43673
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43672-43672

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 986-996	AutonomousAgent e' uma instancia de MarchingBand Processo e' uma instancia de MusicalPerformance Processo e' um agente de AutonomousAgent Objeto e' uma instancia de Outdoors eventLocated Processo and Objeto Processo Processo e' uma instancia de Ambulating Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9132-9138	Objeto e' uma instancia de Outdoors Objeto Objeto e' uma instancia de Predio Objeto e' Inside em relacao a Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1072-1080	DownAndOutRoom e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Outdoors Objeto e' uma instancia de Regiao Objeto e' Adjacent em relacao a Objeto Objeto e' Outside em relacao a Objeto Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 159-164	Fisico e' uma instancia de OutdoorDiningArea Objeto Objeto e' uma instancia de Outdoors Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26627-26636	Objeto e' uma instancia de Patio o argumento Paved e' um atributo de Objeto tem a forca modal de Likely Objeto Objeto e' uma instancia de Predio Objeto e' Adjacent em relacao a Objeto Objeto e' situado em Outdoors
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2519-2534	AcidRainfall e' um patient de Processo o argumento Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Causar Dano Processo causa Entidade Processo e' um instrumento para Entidade Entidade e' uma instancia de Organismo Entidade e' uma instancia de Artefato Estacionario Entidade e' uma instancia de Outdoors Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade tem a forca modal de Possibility

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