TreeView Knowledge Base Browser - agreementRevisionDate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

agreementRevisionDate

Sigma KEE - agreementRevisionDate

agreementRevisionDate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 733-736
No TPTP formula. May not be expressible in strict first order.	Government.kif 729-729	O argumento numero 1 de agreementRevisionDate e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 731-731	O argumento numero 3 de agreementRevisionDate e' uma instancia de Proposicao
No TPTP formula. May not be expressible in strict first order.	Government.kif 730-730	O argumento numero 2 de agreementRevisionDate e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 728-728	agreementRevisionDate e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 100-100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 99-99
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 98-98
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5928-5928
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5927-5927
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5926-5926

antecedent

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

Government.kif 738-753

agreementRevisionDate Proposicao, Posicao Temporal and Proposicao
Posicao Temporal Posicao Temporal e' uma instancia de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente antes de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente apos Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente antes de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente apos Posicao 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