Wedding - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Wedding

Wedding

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7989-7990
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3283-3283
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3038-3038
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3284-3284
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7987-7987	Wedding e' uma sub-classe de Ceremony
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7988-7988	Wedding e' uma sub-classe de Declarar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Biography.kif 53-53	ReligiousWedding e' uma sub-classe de Wedding
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62651-62651
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62650-62650
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62649-62649

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24252-24263	Fisico e' uma instancia de Wedding a data de Fisico e' Dia Dia e' uma instancia de o dia Inteiro positivo Dia Numero Inteiro weddingAnniversary Fisico and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7992-7997	Fisico e' uma instancia de Wedding Entidade Entidade spouse Entidade and Entidade vale durante imediatemente apos tempo de existencia de Fisico

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7999-8009	spouse Entidade and Entidade vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Processo Processo e' uma instancia de Wedding Entidade e' um patient de Processo Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 319-335	Entidade e' uma instancia de MarriageCertificate Processo Processo, AutonomousAgent and AutonomousAgent Processo e' uma instancia de SigningAnAgreement Entidade e' um patient de Processo Processo e' uma instancia de Wedding Entidade define Processo Processo e' um sub-processo de Processo AutonomousAgent e' um patient de Processo AutonomousAgent e' uma instancia de Humano AutonomousAgent e' um patient de Processo AutonomousAgent e' uma instancia de Humano AutonomousAgent e' igual a AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24273-24282	weddingdate Humano, Humano and Dia Processo Processo e' uma instancia de Wedding Humano e' um patient de Processo Humano e' um patient de Processo Humano e' igual a Humano a data de Processo e' Dia

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