TreeView Knowledge Base Browser - producedOn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - producedOn

producedOn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 89-90
No TPTP formula. May not be expressible in strict first order.	Music.kif 93-93	O argumento numero 1 de producedOn e' uma instancia de Recording
No TPTP formula. May not be expressible in strict first order.	Music.kif 94-94	O argumento numero 2 de producedOn e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Music.kif 88-88	producedOn e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4230-4230
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4229-4229
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4228-4228
No TPTP formula. May not be expressible in strict first order.	Music.kif 91-91

antecedent

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

Music.kif 96-104

producedOn Recording and Intervalo Temporal
Intervalo Temporal Intervalo Temporal e' uma instancia de Processo Recording e' o resultado de Intervalo Temporal Intervalo Temporal e' igual a tempo de existencia de o fim de Intervalo Temporal

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