TreeView Knowledge Base Browser - dateDissolved

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - dateDissolved

dateDissolved

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2565-2569
No TPTP formula. May not be expressible in strict first order.	Government.kif 2555-2555	O argumento numero 1 de dateDissolved e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Government.kif 2556-2556	O argumento numero 2 de dateDissolved e' uma sub-classe de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 2554-2554	dateDissolved e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 648-648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 647-647
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 646-646
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18612-18612
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18611-18611
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18610-18610

antecedent

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

Government.kif 2558-2563

dateDissolved Fisico and Posicao Temporal
Intervalo Temporal Intervalo Temporal e' uma instancia de Posicao Temporal o fim de tempo de existencia de Fisico engloba Intervalo Temporal

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Government.kif 2994-2994	dateDissolved CoordinatingCommitteeOnExportControls and o dia 31
No TPTP formula. May not be expressible in strict first order.	Government.kif 3009-3009	dateDissolved CouncilForMutualEconomicAssistance and o dia 1
No TPTP formula. May not be expressible in strict first order.	Government.kif 4145-4145	dateDissolved UnitedNationsPreventiveDeploymentForce and o dia 25
No TPTP formula. May not be expressible in strict first order.	Government.kif 4285-4285	dateDissolved WarsawPact and o dia 1

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