TreeView Knowledge Base Browser - GroupOf10

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GroupOf10

GroupOf10(group of10)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3287-3287	The month October is a date established of group of10
No TPTP formula. May not be expressible in strict first order.	Government.kif 3290-3293
No TPTP formula. May not be expressible in strict first order.	Government.kif 3283-3283	Group of10 is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3288-3288	Coordinate credit policy is an organizational objective of group of10

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3285-3285	"G-10" is an abbreviation of group of10
No TPTP formula. May not be expressible in strict first order.	Government.kif 3284-3284	Group of10 is a conventional long name of "Group of 10"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3286-3286	Group of10 is a conventional long name of "Paris Club"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26742-26742
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26741-26741
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26740-26740

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