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 The number 1 argument of date dissolved is an instance of physical
No TPTP formula. May not be expressible in strict first order. Government.kif 2556-2556 The number 2 argument of date dissolved is a subclass of time position
No TPTP formula. May not be expressible in strict first order. Government.kif 2554-2554 date dissolved is an instance of binary predicate

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 The day 31 is a date dissolved of coordinating committee on export controls
No TPTP formula. May not be expressible in strict first order. Government.kif 3009-3009 The day 1 is a date dissolved of council for mutual economic assistance
No TPTP formula. May not be expressible in strict first order. Government.kif 4145-4145 The day 25 is a date dissolved of united nations preventive deployment force
No TPTP formula. May not be expressible in strict first order. Government.kif 4285-4285 The day 1 is a date dissolved of warsaw pact


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