TreeView Knowledge Base Browser - Archeology

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Archeology

Archeology

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21142-21144
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21141-21141	Archeology e' uma sub-classe de Campo de Estudos

appearance as argument number 2

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

domainEnglishFormat.kif 64471-64471

antecedent

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

Mid-level-ontology.kif 21146-21176

Proposicao e' uma instancia de Argument Processo e' uma instancia de Raciocinar Proposicao e' uma instancia de Archeology Proposicao e' uma &sub-proposicao de Proposicao Processo exprime o conteudo de Proposicao
Processo Entidade, Fisico, Numero Real, Entidade and Entidade Processo e' uma instancia de Discovering Fisico e' uma instancia de Objeto Fisico e' um patient de Processo Processo inclui uma referencia a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior que 50 Entidade e' uma superficie de Entidade Entidade e' uma instancia de BodyOfWater Fisico e' Below em relacao a Entidade Entidade e' uma superficie de Entidade Entidade e' uma instancia de Area terrestre Fisico e' Below em relacao a Entidade vale durante imediatemente antes de tempo de existencia de Processo

consequent

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

Biography.kif 373-375

Archeologist e' um atributo de Humano
hasExpertise Humano and Archeology

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