Smoking - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Smoking

Smoking

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16095-16096
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 738-738
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16094-16094	Smoking e' uma sub-classe de Recreacao ou Exercicio

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53518-53518
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53517-53517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53516-53516

antecedent

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

Mid-level-ontology.kif 16098-16109

Processo e' uma instancia de Smoking
Processo Objeto, Processo and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de Combustao Objeto e' um recurso para Processo Objeto e' uma instancia de CigarOrCigarette Entidade e' o resultado de Processo Entidade e' um patient de Processo Processo e' uma instancia de Respirar Processo e' um sub-processo de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2593-2602	Policy e' uma instancia de NoSmokingPolicy policyLocationCoverage Policy and Objeto policyOwner Organizacao and Policy deprivesNorm Organizacao, Entidade Entidade e' uma instancia de Smoking Entidade e' situado em Objeto and Permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2610-2619	Policy e' uma instancia de SmokingAllowedPolicy policyLocationCoverage Policy and Objeto policyOwner Organizacao and Policy confersNorm Organizacao, Entidade Entidade e' uma instancia de Smoking Entidade e' situado em Objeto and Permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2489-2505	Policy e' uma instancia de SmokingPolicy policyLocationCoverage Policy and Objeto Policy contem informacao o argumento Entidade Entidade e' uma instancia de Smoking Entidade e' situado em Objeto tem a forca modal de Permission Policy contem informacao o argumento Entidade Entidade e' uma instancia de Smoking Entidade e' situado em Objeto tem a forca modal de Prohibition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2005-2011	Fisico e' uma instancia de SmokingDevice Fisico tem por fim Entidade Entidade e' uma instancia de Smoking Fisico e' um instrumento para Entidade

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