Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  dateDissolved

 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 日期解散 的 1 数量 是 物理 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2556-2556 日期解散 的 2 数量 是 时间位置 的 subclass
No TPTP formula. May not be expressible in strict first order. Government.kif 2554-2554 日期解散 是 二元谓语 的 instance

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

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2994-2994 31 Day 是 出口管制协调委员会 的闭幕 date
No TPTP formula. May not be expressible in strict first order. Government.kif 3009-3009 1 Day 是 共同经济援助理事会 的闭幕 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4145-4145 25 Day 是 联合国预防性部署部队 的闭幕 date
No TPTP formula. May not be expressible in strict first order. Government.kif 4285-4285 1 Day 是 华沙协议 的闭幕 date


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