MYSQL

SELECT * FROM sumoterms ORDER BY sumoid LIMIT 0,50

sumoid	sumoterm	ischildofFunction	ischildofPredicate	ischildofRelation	iscomparisonop	isinstance	islogical	isrelationop	issubclass	issubclassofRelation	issubrelation	issuperclass	issuperrelation
1	subclass		1	1		1		1					1
2	subrelation		1	1		1		1
3	instance		1	1				1					1
4	disjoint		1	1		1		1
5	domain		1	1		1		1
6	partition		1	1		1		1
7	attribute			1		1					1		1
8	property		1	1		1							1
9	subAttribute		1	1		1		1
10	subProcess		1	1		1		1
11	equal		1	1	1	1		1
12	inverse		1	1		1		1
13	=>						1	1
14	<=>						1	1
15	contains			1		1					1
16	element		1	1		1					1
17	subset										1
18	component										1		1
19	part			1		1		1					1
20	piece										1
21	format							1
22	documentation		1	1		1		1
23	Relation			1					1			1
24	Predicate		1	1		1			1	1		1
25	Function	1		1		1			1	1		1
26	Class								1			1
27	-0.03
28	-0.06
29	-0.07
30	-0.1
31	-0.15
32	-0.2
33	-0.216667
34	-0.22
35	-0.27
36	-0.35
37	-0.383333
38	-0.4
39	-0.68
40	-0.7
41	-0.9
42	-1
43	-1.02
44	-1.13
45	-1.2
46	-1.21
47	-1.26667
48	-1.39
49	-1.4
50	-1.45

SELECT sumoattr FROM sumotermattrs GROUP BY sumoattr ORDER BY sumoattr

sumoattr
@
A
C
F
P
R
S
a
c
f
i
l
m
p
q
r
s
y
~

SELECT attrtag FROM sumotaggedterms GROUP BY attrtag ORDER BY attrtag

attrtag
@
@Sipr
@Siprs
@Sir
@Sirs
@Spr
@Ss
@ipr
@iprs
@ipr~
@ir
@irs
@l
@lq
@s
ACac
ACaci
Aac
Aaci
C
CFRScfir
CFRcfir
CFRcfr
CPRScipr
CRcfir
CRcipr
CRcir
CRcr
Cac
Cai
Cc
Cci
Ccr
Ci
FRcfir
FRcfr
PRcipr
PRcpr
Rcir
Rcr
Sfiry
Sipr
Siprs
Sir
Sirs
Ss
aci
ai
c
ci
fimry
firsy
firy
i
ipr
iprs
ipr~
ir
irs
irsy
l
s
sy
y

SELECT * FROM sumotaggedterms WHERE INSTR(attrtag,'r') <> 0 AND INSTR(attrtag,'i') <> 0 AND INSTR(attrtag,'@') <> 0 ORDER BY sumoterm

sumoid	sumoterm	attrtag
24543	abbreviation	@Siprs
24564	agentOperatesInArea	@Siprs
24566	agreementAdoptionDate	@ipr
24567	agreementEffectiveDate	@ipr
24608	atomicNumber	@ipr
24627	beliefGroupPercentInRegion	@ipr
24632	between	@ipr
24635	biochemicalAgentAntidote	@ipr
24636	biochemicalAgentDelivery	@ipr
24637	biochemicalAgentSyndrome	@ipr
24639	biologicalAgentCarrier	@ipr
24643	boilingPoint	@ipr
24650	caliber	@ipr
24656	capitalCity	@iprs
24662	cardinality	@ipr
24668	causesSubclass	@ipr
24679	chiefOfStateType	@ipr
24683	claimedTerritory	@Sipr
24693	commandRankOfEchelon	@ipr
24696	comparativeArea	@ipr
24711	connected	@Sipr
24718	containsInformation	@Siprs
24725	contraryAttribute	@ipr
24727	conventionalLongName	@iprs
24728	conventionalShortName	@Siprs
24749	currencyType	@ipr
24751	currencyValue	@ipr
24761	dateDissolved	@ipr
24762	dateEstablished	@ipr
24772	decreasesLikelihood	@ipr
24778	dependentGeopoliticalArea	@irs
24780	depth	@irs
24827	diseaseIncubation	@ipr
24828	diseaseMortality	@ipr
24829	diseaseSymptom	@ipr
24830	diseaseTreatment	@ipr
4	disjoint	@ipr
24831	disjointDecomposition	@ipr
24832	disjointRelation	@ipr
22	documentation	@ipr
5	domain	@ipr
24838	domainSubclass	@ipr
24852	economyType	@iprs
24855	effectiveDose	@ipr
24868	elevation	@ipr
11	equal	@ipr~
24886	ethnicityPercentInRegion	@ipr
24890	exhaustiveAttribute	@ipr
24891	exhaustiveDecomposition	@ipr
24952	geographicSubregion	@Siprs
24959	governmentType	@iprs
24971	groundSubsurfaceType	@ipr
24972	groundSurfaceType	@ipr
25004	holdsDuring	@ipr
25021	identityElement	@ipr
25040	inScopeOfInterest	@Sipr
25046	increasesLikelihood	@ipr
25047	independenceDate	@ipr
25052	industryProductType	@ipr
25057	inflationRateInCountry	@ipr
25063	initialPart	@ir
12	inverse	@ipr
25355	landAreaOnly	@ipr
25357	languagePercentInRegion	@ipr
25363	leaderPosition	@ipr
25385	lethalDose	@ipr
25386	lexicon	@ir
25397	localLongName	@iprs
25398	localShortName	@iprs
25399	located	@Sirs
25428	meatOfAnimal	@ir
25432	meetsSpatially	@Sirs
25434	meltingPoint	@ipr
25435	member	@Sirs
25442	meronym	@ir
25449	militaryOfArea	@ipr
25455	modalAttribute	@iprs
25456	models	@ir
25566	naturalHazardTypeInArea	@ipr
25578	objectGeographicCoordinates	@ipr
25586	oppositeDirection	@ipr
25590	orbits	@ipr
25594	organizationalObjective	@iprs
25595	orientation	@ipr
25603	overlapsSpatially	@Sirs
19	part	@Sir
6	partition	@ipr
25610	partlyLocated	@Sipr
25632	physicalDomain	@ir
25673	properPart	@Sirs
25683	range	@ipr
25684	rangeSubclass	@ipr
25695	relatedExternalConcept	@Sipr
25696	relatedInternalConcept	@ipr
25885	secretesToxin	@ipr
25887	sectorCompositionOfGDPInPeriod	@ipr
25900	sharedBorderLength	@ipr
9	subAttribute	@ipr
25945	subCollection	@Sipr
25946	subEchelon	@ipr
25947	subField	@irs
25950	subOrganization	@Sirs
10	subProcess	@ipr
1	subclass	@Sipr
2	subrelation	@ipr
25958	subsumesContentClass	@Sipr
25959	subsumesContentInstance	@Sipr
25961	successorAttribute	@ipr
25963	successorOrganization	@ipr
25997	totalArea	@ipr
26003	totalGDPInPeriod	@ipr
26019	trichotomizingOn	@ipr

SELECT * FROM sumoterms WHERE sumoterm LIKE '%Fn' LIMIT 20

sumoid	sumoterm	ischildofFunction	ischildofRelation	isfunction	isinstance	ismath	issubrelation	issuperrelation
537	AbortedFn	1	1	1	1			1
538	AbortedLaunchFn	1	1	1	1		1
539	AbortedMissionFn	1	1	1	1		1
553	AbsoluteValueFn	1	1	1	1
555	AbstractionFn	1	1	1	1
571	AccountFn	1	1	1	1
601	AdditionFn	1	1	1	1	1
603	AddressFn	1	1	1	1
725	AgreementOrganizationFn	1	1	1	1
736	AgricultureFn	1	1	1	1
1548	AssignmentFn	1	1	1	1
1621	AttrFn	1	1	1	1
1700	AvailableForMilitaryServiceMaleFn	1	1	1	1
1760	BackFn	1	1	1	1
2149	BeginFn	1	1	1	1
2150	BeginNodeFn	1	1	1	1
2395	BirthsPerThousandFn	1	1	1	1
2582	BorderFn	1	1	1	1			1
2946	CPUUtilizationFn			1			1
2961	CabinetFn	1	1	1	1

SELECT * FROM sumotaggedterms WHERE sumoterm = "Entity"

sumoid	sumoterm	attrtag
10316	Entity	C

SELECT * FROM sumoterms WHERE sumoterm = "Entity"

sumoid	sumoterm	ischildofAttribute	ischildofFunction	ischildofPredicate	ischildofRelation	iscomparisonop	isfunction	isinstance	islogical	ismath	isquantifier	isrelationop	issubclass	issubclassofAttribute	issubclassofFunction	issubclassofPredicate	issubclassofRelation	issubrelation	issuperclass	issuperrelation
10316	Entity																		1

SELECT * FROM sumotaggedterms WHERE sumoterm = "Class"

sumoid	sumoterm	attrtag
26	Class	Cc

SELECT * FROM sumoterms WHERE sumoterm = "Class"

sumoid	sumoterm	ischildofAttribute	ischildofFunction	ischildofPredicate	ischildofRelation	iscomparisonop	isfunction	isinstance	islogical	ismath	isquantifier	isrelationop	issubclass	issubclassofAttribute	issubclassofFunction	issubclassofPredicate	issubclassofRelation	issubrelation	issuperclass	issuperrelation
26	Class												1						1

SELECT DISTINCT t1.sumoattr AS attr,t2.sumoattr AS cooccurringattr FROM sumotermattrs AS t1 INNER JOIN sumotermattrs AS t2 USING (sumoid) WHERE t1.sumoattr='C' AND t2.sumoattr <> 'C'

attr	cooccurringattr
C	c
C	r
C	R
C	i
C	p
C	f
C	A
C	a
C	F
C	P
C	S

SELECT DISTINCT t1.sumoattr AS attr,GROUP_CONCAT(DISTINCT t2.sumoattr ORDER BY t2.sumoattr) AS cooccurringattr FROM sumotermattrs AS t1 INNER JOIN sumotermattrs AS t2 USING (sumoid) WHERE t1.sumoattr IN ('C','c','i','S','s','@','l','q','m','f','~','R','r','P','p','F','f','A','a') GROUP BY attr

attr	cooccurringattr
@	@,S,i,l,p,q,r,s,~
A	A,C,a,c,i
C	A,C,F,P,R,S,a,c,f,i,p,r
F	C,F,R,S,c,f,i,r
P	C,P,R,S,c,i,p,r
R	C,F,P,R,S,c,f,i,p,r
S	@,C,F,P,R,S,c,f,i,p,r,s,y
a	A,C,a,c,i
c	A,C,F,P,R,S,a,c,f,i,p,r
f	C,F,R,S,c,f,i,m,r,s,y
i	@,A,C,F,P,R,S,a,c,f,i,m,p,r,s,y,~
l	@,l,q
m	f,i,m,r,y
p	@,C,P,R,S,c,i,p,r,s,~
q	@,l,q
r	@,C,F,P,R,S,c,f,i,m,p,r,s,y,~
s	@,S,f,i,p,r,s,y
~	@,i,p,r,~

SELECT DISTINCT sumoattr FROM sumotermattrs AS t1 WHERE sumoid IN (SELECT DISTINCT sumoid FROM sumotermattrs WHERE sumoattr IN ('~'))

sumoattr
@
i
p
r
~

SELECT sumoterm,sumoattr FROM sumotermattrs AS t1 INNER JOIN sumoterms USING (sumoid) WHERE sumoid IN (SELECT DISTINCT sumoid FROM sumotermattrs WHERE sumoattr IN ('~'))

sumoterm	sumoattr
equal	@
equal	i
equal	p
equal	r
equal	~
greaterThan	i
greaterThan	p
greaterThan	r
greaterThan	~
greaterThanOrEqualTo	i
greaterThanOrEqualTo	p
greaterThanOrEqualTo	r
greaterThanOrEqualTo	~
lessThan	i
lessThan	p
lessThan	r
lessThan	~
lessThanOrEqualTo	i
lessThanOrEqualTo	p
lessThanOrEqualTo	r
lessThanOrEqualTo	~

SELECT sumoterm FROM sumotermattrs AS t1 INNER JOIN sumotermattrs AS t2 USING (sumoid) INNER JOIN sumoterms USING (sumoid) WHERE t1.sumoattr = 'c' AND t2.sumoattr = 'i'

sumoterm
Predicate
Function
AchievingControl
AirPollutionIssue
AntarcticArea
BinaryFunction
BinaryPredicate
BinaryRelation
CaseRole
CelsiusDegree
Centimeter
ChangeOfControl
Cleric
ClimateChangeIssue
Deacon
FootLength
InformationCooperation
InheritableRelation
IntentionalRelation
JusticeIssues
LiteracyAttribute
Meter
Mile
MilitaryGeneral
ObjectAttitude
ProbabilityRelation
PropositionalAttitude
QuaternaryFunction
QuaternaryPredicate
QuaternaryRelation
QuintaryPredicate
QuintaryRelation
RelationExtendedToQuantities
Share
ShipCaptain
SingleValuedRelation
SpatialRelation
TemporalRelation
TernaryFunction
TernaryPredicate
TernaryRelation
TheaterProfession
TotalValuedRelation
UnaryFunction
WaterInfrastructureIssue

SELECT sumoterm FROM sumotermattrs INNER JOIN sumoterms USING (sumoid) WHERE sumoattr= 'C' AND NOT sumoid IN (SELECT sumoid FROM sumotermattrs WHERE sumoattr = 'c')

sumoterm
ArcticRegion
Attorney
Celebrity
Christian
Contract
DiaryProduct
Entity
FinancialAccount
FinancialAsset
FinancialContract
Inductance
Law
MedicalDoctor
Muslim
PoliceOfficer
ServiceContract
SocialInteractions
Terminal

SELECT sumoterm FROM sumoterms WHERE issuperclass AND (issubclass IS NULL OR NOT issubclass)

sumoterm
ArcticRegion
Attorney
Celebrity
Christian
Contract
DiaryProduct
Entity
FinancialAccount
FinancialAsset
FinancialContract
Inductance
Law
MedicalDoctor
Muslim
PoliceOfficer
ServiceContract
SocialInteractions
Terminal

SELECT * FROM sumotaggedterms WHERE sumoid IN ( SELECT sumoid FROM sumoterms WHERE issuperclass AND (issubclass IS NULL OR NOT issubclass))

sumoid	sumoterm	attrtag
1400	ArcticRegion	Ci
1619	Attorney	Cai
3348	Celebrity	Cai
3708	Christian	Cai
4240	Contract	C
9580	DiaryProduct	C
10316	Entity	C
10967	FinancialAccount	C
10968	FinancialAsset	Ci
10972	FinancialContract	C
12936	Inductance	Cai
14608	Law	C
15794	MedicalDoctor	Cai
16642	Muslim	Cai
18874	PoliceOfficer	Cai
20893	ServiceContract	C
21310	SocialInteractions	C
22399	Terminal	C

SELECT * FROM sumorelations INNER JOIN sumoterms USING(sumoid) LIMIT 0,100

sumoid	sumoterm	ischildofPredicate	ischildofRelation	iscomparisonop	isinstance	islogical	isquantifier	isrelationop	issubrelation	issuperrelation
1	subclass	1	1		1			1		1
2	subrelation	1	1		1			1
3	instance	1	1					1		1
4	disjoint	1	1		1			1
5	domain	1	1		1			1
6	partition	1	1		1			1
9	subAttribute	1	1		1			1
10	subProcess	1	1		1			1
11	equal	1	1	1	1			1
12	inverse	1	1		1			1
13	=>					1		1
14	<=>					1		1
19	part		1		1			1		1
21	format							1
22	documentation	1	1		1			1
24542	abbrev							1
24543	abbreviation	1	1		1			1	1	1
24564	agentOperatesInArea	1	1		1			1	1	1
24566	agreementAdoptionDate	1	1		1			1
24567	agreementEffectiveDate	1	1		1			1
24608	atomicNumber	1	1		1			1
24627	beliefGroupPercentInRegion	1	1		1			1
24632	between	1	1		1			1
24635	biochemicalAgentAntidote	1	1		1			1
24636	biochemicalAgentDelivery	1	1		1			1
24637	biochemicalAgentSyndrome	1	1		1			1
24639	biologicalAgentCarrier	1	1		1			1
24643	boilingPoint	1	1		1			1
24650	caliber	1	1		1			1
24656	capitalCity	1	1		1			1	1
24659	carCode							1
24662	cardinality	1	1		1			1
24668	causesSubclass	1	1		1			1
24679	chiefOfStateType	1	1		1			1
24683	claimedTerritory	1	1		1			1		1
24693	commandRankOfEchelon	1	1		1			1
24696	comparativeArea	1	1		1			1
24711	connected	1	1		1			1		1
24718	containsInformation	1	1		1			1	1	1
24725	contraryAttribute	1	1		1			1
24727	conventionalLongName	1	1		1			1	1
24728	conventionalShortName	1	1		1			1	1	1
24749	currencyType	1	1		1			1
24751	currencyValue	1	1		1			1
24761	dateDissolved	1	1		1			1
24762	dateEstablished	1	1		1			1
24772	decreasesLikelihood	1	1		1			1
24778	dependentGeopoliticalArea		1		1			1	1
24780	depth		1		1			1	1
24827	diseaseIncubation	1	1		1			1
24828	diseaseMortality	1	1		1			1
24829	diseaseSymptom	1	1		1			1
24830	diseaseTreatment	1	1		1			1
24831	disjointDecomposition	1	1		1			1
24832	disjointRelation	1	1		1			1
24838	domainSubclass	1	1		1			1
24847	earthAltitude							1	1
24852	economyType	1	1		1			1	1
24855	effectiveDose	1	1		1			1
24868	elevation	1	1		1			1
24874	engineeringSubcomponent							1	1
24885	established							1
24886	ethnicityPercentInRegion	1	1		1			1
24890	exhaustiveAttribute	1	1		1			1
24891	exhaustiveDecomposition	1	1		1			1
24892	exists					1	1	1
24912	externalImage							1
24944	flowsInto							1
24945	forall					1	1	1
24947	formerName							1	1
24952	geographicSubregion	1	1		1			1	1	1
24953	geographicalSubregion							1
24958	government							1
24959	governmentType	1	1		1			1	1
24971	groundSubsurfaceType	1	1		1			1
24972	groundSurfaceType	1	1		1			1
24981	hasHeadq							1
25004	holdsDuring	1	1		1			1
25021	identityElement	1	1		1			1
25040	inScopeOfInterest	1	1		1			1		1
25046	increasesLikelihood	1	1		1			1
25047	independenceDate	1	1		1			1
25052	industryProductType	1	1		1			1
25055	infantMortality							1
25057	inflationRateInCountry	1	1		1			1
25063	initialPart		1		1			1
25355	landAreaOnly	1	1		1			1
25357	languagePercentInRegion	1	1		1			1
25361	latitude							1
25363	leaderPosition	1	1		1			1
25369	length							1	1	1
25385	lethalDose	1	1		1			1
25386	lexicon		1		1			1
25397	localLongName	1	1		1			1	1
25398	localShortName	1	1		1			1	1
25399	located		1		1			1	1	1
25402	longitude							1
25428	meatOfAnimal		1		1			1
25432	meetsSpatially		1		1			1	1	1
25434	meltingPoint	1	1		1			1

SELECT sumoterm FROM sumotermattrs INNER JOIN sumoterms USING (sumoid) WHERE sumoattr= 'R' LIMIT 10

sumoterm
Predicate
Function
AntisymmetricRelation
AssociativeFunction
AsymmetricRelation
BinaryFunction
BinaryPredicate
BinaryRelation
CaseRole
CommutativeFunction

SELECT sumoterm FROM sumotermattrs INNER JOIN sumoterms USING (sumoid) WHERE sumoattr= 'R' AND NOT sumoid IN (SELECT sumoid FROM sumotermattrs WHERE sumoattr = 'r')

SELECT SUBSTRING(formula FROM 1 FOR 64) AS formula FROM sumoformulas INNER JOIN sumoparsemaps AS p1 USING (formulaid) INNER JOIN sumoparsemaps AS p2 USING (formulaid) INNER JOIN sumoterms AS t ON t.sumoid = p2.sumoid WHERE sumoterm = 'Relation' AND p1.sumoid < 3 AND p1.sumoparsetype = 'a' AND p1.argnum =0 AND p2.sumoparsetype = 'a' AND p2.argnum > 0 ORDER BY formula

formula
(subclass BinaryRelation Relation)
(subclass IntentionalRelation Relation)
(subclass List Relation)
(subclass PartialValuedRelation Relation)
(subclass PPPBasedEconomicValuation Relation)
(subclass Predicate Relation)
(subclass ProbabilityRelation Relation)
(subclass QuaternaryRelation Relation)
(subclass QuintaryRelation Relation)
(subclass Relation Abstract)
(subclass RelationExtendedToQuantities Relation)
(subclass SingleValuedRelation Relation)
(subclass SpatialRelation Relation)
(subclass TemporalRelation Relation)
(subclass TernaryRelation Relation)
(subclass TotalValuedRelation Relation)
(subclass VariableArityRelation Relation)

SELECT * FROM sumosubclasses INNER JOIN sumoformulas USING(formulaid) LIMIT 20

formulaid	sumoclassid	sumosuperclassid	formula	sumofileid
3	2649	11647	(subclass Bowing Gesture)	13
72	24176	12694	(subclass Woman Human)	12
77	18512	21717	(subclass PerformanceStage StationaryArtifact)	13
115	19915	4123	(subclass ReusingAResource ComputerProcess)	19
124	9674	4062	(subclass Disseminating Communication)	12
142	22980	18868	(subclass TundraClimateZone PolarClimateZone)	8
146	10804	22449	(subclass FactualText Text)	12
162	15639	4185	(subclass MassMeasure ConstantQuantity)	12
200	1678	18385	(subclass Automobile PassengerVehicle)	13
203	3088	21717	(subclass CanalLock StationaryArtifact)	22
355	21471	17204	(subclass SouthernNorthHalmaheraLanguage NorthHalmaheraLanguage)	18
426	22215	11287	(subclass TankCar FreightCar)	22
452	17411	2504	(subclass Ocean BodyOfWater)	8
534	20177	10140	(subclass Rotor ElectricDevice)	30
550	4301	16135	(subclass CopperOre MiningProduct)	5
555	22415	13067	(subclass TerrainAttribute InternalAttribute)	8
566	22751	22791	(subclass Touching Transfer)	12
586	23068	16064	(subclass USMilitaryRank MilitaryRank)	14
624	12756	2450	(subclass HydrogenCyanide BloodAgent)	24
648	15265	19500	(subclass Magnetism RadiatingElectromagnetic)	13

SELECT * FROM sumoinstances INNER JOIN sumoformulas USING(formulaid) LIMIT 20

formulaid	sumoinstanceid	sumoclassid	formula	sumofileid
5	19689	1405	(instance ReducingCrime AreaOfConcern)	9
15	20506	799	(instance SantaCarolinaAirport Airport)	27
21	25801	20006	(instance rivers-Paraguay River)	32
26	5339	3762	(instance Countries-ES-cities-Soyapango City)	32
27	7778	19271	(instance Countries-THA-provinces-SouthernRegion Province)	32
29	6890	3762	(instance Countries-PL-provinces-Koszalinskie-cities-Koszalin City)	32
33	20223	799	(instance RuseAirport Airport)	27
42	3615	799	(instance ChignikAKAirport Airport)	26
55	3942	799	(instance ColesCountyMemorialILAirport Airport)	27
61	13233	3762	(instance IslamabadPakistan City)	4
67	25984	18356	(instance temporalPart PartialOrderingRelation)	12
84	7760	19271	(instance Countries-THA-provinces-PrachinBuri Province)	32
90	6820	3762	(instance Countries-PK-cities-Gujrat City)	32
92	23078	20851	(instance USMilitaryRankE9special SeniorNCORank)	14
97	1653	24476	(instance AushiriLanguage ZaparoanLanguage)	18
101	9016	3762	(instance Countries-cid-cia-Norfolk-Island-cities-Kingston City)	32
105	4637	3762	(instance Countries-BR-provinces-Para-cities-Belem City)	32
108	23454	799	(instance VanimoAirport Airport)	27
110	24539	21561	(instance ZuniLanguage SpokenHumanLanguage)	18
120	20495	799	(instance SaniaRamelTetouanTetuanAirport Airport)	27

SELECT * FROM sumosubclasses INNER JOIN sumoformulas USING (formulaid) LIMIT 20

formulaid	sumoclassid	sumosuperclassid	formula	sumofileid
3	2649	11647	(subclass Bowing Gesture)	13
72	24176	12694	(subclass Woman Human)	12
77	18512	21717	(subclass PerformanceStage StationaryArtifact)	13
115	19915	4123	(subclass ReusingAResource ComputerProcess)	19
124	9674	4062	(subclass Disseminating Communication)	12
142	22980	18868	(subclass TundraClimateZone PolarClimateZone)	8
146	10804	22449	(subclass FactualText Text)	12
162	15639	4185	(subclass MassMeasure ConstantQuantity)	12
200	1678	18385	(subclass Automobile PassengerVehicle)	13
203	3088	21717	(subclass CanalLock StationaryArtifact)	22
355	21471	17204	(subclass SouthernNorthHalmaheraLanguage NorthHalmaheraLanguage)	18
426	22215	11287	(subclass TankCar FreightCar)	22
452	17411	2504	(subclass Ocean BodyOfWater)	8
534	20177	10140	(subclass Rotor ElectricDevice)	30
550	4301	16135	(subclass CopperOre MiningProduct)	5
555	22415	13067	(subclass TerrainAttribute InternalAttribute)	8
566	22751	22791	(subclass Touching Transfer)	12
586	23068	16064	(subclass USMilitaryRank MilitaryRank)	14
624	12756	2450	(subclass HydrogenCyanide BloodAgent)	24
648	15265	19500	(subclass Magnetism RadiatingElectromagnetic)	13

SELECT * FROM sumoformulas INNER JOIN sumoparsemaps USING (formulaid) INNER JOIN sumoterms USING (sumoid) WHERE sumoterm='Bus'

sumoid	formulaid	formula	sumofileid	mapid	sumoparsetype	argnum	sumoterm	issubclass
2895	31869	(documentation Bus EnglishLanguage "Bus is the subclass of &%SelfPoweredRoadVehicles that can transport large numbers of passengers (i.e., dozens) at one time. It can be distinguished from a van which is designed to carry less than a dozen people.")	13	93768	a	1	Bus	1
2895	43828	(=> (instance ?B Bus) (hasPurpose ?B (exists (?C ?T ?N) (and (instance ?C Collection) (instance ?T Transportation) (memberCount ?C ?N) (greaterThan ?N 11) (=> (member ?P ?C) (patient ?T ?P))))))	13	128842	p		Bus	1
2895	63690	(=> (instance ?X BusStop) (hasPurpose ?X (exists (?B ?BO ?D) (and (instance ?B Bus) (instance ?BO Boarding) (instance ?D Deboarding) (located ?BO ?X) (located ?D ?X) (patient ?BO ?B) (patient ?D ?B)))))	13	187177	c		Bus	1
2895	69541	(externalImage Bus "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ bus/ bus_2.png")	34	204388	a	1	Bus	1
2895	112158	(termFormat EnglishLanguage Bus "bus")	28	329802	a	2	Bus	1
2895	113338	(subclass Bus SelfPoweredRoadVehicle)	13	333272	a	1	Bus	1

SELECT formula FROM sumosubclasses AS s INNER JOIN sumoterms t ON t.sumoid = s.sumosuperclassid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='Vehicle'

formula
(subclass PassengerVehicle Vehicle)
(subclass MilitaryVehicle Vehicle)
(subclass LandVehicle Vehicle)
(subclass CargoVehicle Vehicle)
(subclass Spacecraft Vehicle)
(subclass WaterVehicle Vehicle)
(subclass UnpoweredVehicle Vehicle)
(subclass AgentPoweredVehicle Vehicle)
(subclass PoweredVehicle Vehicle)
(subclass Car Vehicle)
(subclass ArmoredVehicle Vehicle)
(subclass Aircraft Vehicle)

SELECT formula FROM sumosubclasses AS c INNER JOIN sumoterms t ON t.sumoid = c.sumoclassid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='Vehicle'

formula
(subclass Vehicle TransportationDevice)

SELECT formula FROM sumoinstances AS i INNER JOIN sumoterms t ON t.sumoid = i.sumoinstanceid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='Paris'

formula
(instance Paris EuropeanCity)

SELECT formula FROM sumoinstances AS i INNER JOIN sumoterms t ON t.sumoid = i.sumoclassid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='EuropeanNation'

formula
(instance HolySee EuropeanNation)
(instance Portugal EuropeanNation)
(instance Monaco EuropeanNation)
(instance Iceland EuropeanNation)
(instance Czechoslovakia EuropeanNation)
(instance UnitedKingdom EuropeanNation)
(instance SanMarino EuropeanNation)
(instance SovietUnion EuropeanNation)
(instance Finland EuropeanNation)
(instance Ireland EuropeanNation)
(instance Sweden EuropeanNation)
(instance Belgium EuropeanNation)
(instance Spain EuropeanNation)
(instance France EuropeanNation)
(instance Norway EuropeanNation)
(instance Denmark EuropeanNation)
(instance Netherlands EuropeanNation)
(instance Greece EuropeanNation)
(instance Malta EuropeanNation)
(instance Poland EuropeanNation)
(instance Italy EuropeanNation)
(instance Andorra EuropeanNation)
(instance Switzerland EuropeanNation)
(instance Germany EuropeanNation)

SELECT formula FROM sumosubrelations AS r INNER JOIN sumoterms t ON t.sumoid = r.sumorelationid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='sister'

formula
(subrelation sister sibling)

SELECT formula FROM sumosubrelations AS r INNER JOIN sumoterms t ON t.sumoid = r.sumosuperrelationid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='sibling'

formula
(subrelation brother sibling)
(subrelation sister sibling)

SELECT sumownrel,COUNT(*) AS count FROM sumomaps GROUP BY sumownrel

sumownrel	count
=	3821
+	100452
@	10895
:	10
[	599

SELECT lemma,SUBSTRING(definition FROM 1 FOR 32),sumownrel,sumoterm FROM sumomaps INNER JOIN synsets USING (synsetid) INNER JOIN senses USING (synsetid) INNER JOIN words USING (wordid) INNER JOIN sumoterms USING (sumoid) WHERE lemma = 'above'

lemma	SUBSTRING(definition FROM 1 FOR 32)	sumownrel	sumoterm
above	an earlier section of a written	+	Text
above	appearing earlier in the same te	=	Above
above	at an earlier place	+	Above
above	in or to a place that is higher	+	Above

SELECT lemma,SUBSTRING(definition FROM 1 FOR 32),sumownrel,sumoterm, formula FROM sumomaps INNER JOIN sumoparsemaps USING(sumoid) INNER JOIN sumoformulas USING(formulaid) INNER JOIN synsets USING (synsetid) INNER JOIN senses USING (synsetid) INNER JOIN words USING (wordid) INNER JOIN sumoterms USING (sumoid) WHERE lemma = 'car' AND sumownrel = '='

lemma	SUBSTRING(definition FROM 1 FOR 32)	sumownrel	sumoterm	formula
car	a motor vehicle with four wheels	=	Automobile	(subclass Automobile PassengerVehicle)
car	a motor vehicle with four wheels	=	Automobile	(subclass Taxicab Automobile)
car	a motor vehicle with four wheels	=	Automobile	(=> (instance ?A Automobile) (equipmentCount ?A VehicleWheel 4))
car	a motor vehicle with four wheels	=	Automobile	(=> (instance ?A Automobile) (equipmentCount ?A Axle 2))
car	a motor vehicle with four wheels	=	Automobile	(=> (instance ?GARAGE Garage) (hasPurpose (exists (?AUTO) (and (instance ?AUTO Automobile) (contains ?GARAGE ?Automobile)))))
car	a motor vehicle with four wheels	=	Automobile	(externalImage Automobile "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ travel/ US_Road_Signs/ recreation/ rec_1/ automobile.png")
car	a motor vehicle with four wheels	=	Automobile	(industryProductType AutomobileManufacturing Automobile)
car	a motor vehicle with four wheels	=	Automobile	(=> (instance ?W RearWindow) (exists (?A) (and (instance ?A Automobile) (part ?W (BackFn ?A)))))
car	a motor vehicle with four wheels	=	Automobile	(subclass Automobile SelfPoweredRoadVehicle)
car	a motor vehicle with four wheels	=	Automobile	(=> (instance ?P ParkingLot) (hasPurpose ?P (exists (?K ?A) (and (instance ?K Keeping) (located ?K ?P) (patient ?K ?A) (instance ?A Automobile)))))
car	a motor vehicle with four wheels	=	Automobile	(termFormat EnglishLanguage Automobile "automobile")
car	a motor vehicle with four wheels	=	Automobile	(=> (instance ?W Windshield) (exists (?A) (and (instance ?A Automobile) (part ?W (FrontFn ?A)))))
car	a motor vehicle with four wheels	=	Automobile	(documentation Automobile EnglishLanguage "Automobile is a subclass of &%SelfPoweredRoadVehicles including passenger cars, family vans, light trucks, and sport utility vehicles. In general, this class covers four-wheeled passenger road vehicles.")
car	a wheeled vehicle adapted to the	=	RailVehicle	(subclass RailVehicle LandVehicle)
car	a wheeled vehicle adapted to the	=	RailVehicle	(subclass Train RailVehicle)
car	a wheeled vehicle adapted to the	=	RailVehicle	(documentation RailVehicle EnglishLanguage "A Vehicle designed to move on &%Railways.")
car	a wheeled vehicle adapted to the	=	RailVehicle	(subclass RollingStock RailVehicle)
car	a wheeled vehicle adapted to the	=	RailVehicle	(termFormat EnglishLanguage RailVehicle "rail vehicle")
car	a wheeled vehicle adapted to the	=	RailVehicle	(=> (instance ?X RailVehicle) (hasPurpose ?X (exists (?EV ?RAIL) (and (instance ?RAIL Railway) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?RAIL))))))
car	a wheeled vehicle adapted to the	=	RailVehicle	(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ LRCwithNightstarTest-Ottawa.jpg")
car	a wheeled vehicle adapted to the	=	RailVehicle	(=> (and (instance ?ORG Organization) (attribute ?ORG RailTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?MOVE ?RR) (and (instance ?MOVE Transportation) (or (patient ?MOVE ?P) (and (possesses ?P ?OBJ) (patient ?MOVE ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?RR) (instance ?RR RailVehicle))) ?MEM ?P))))))

SELECT * FROM sumorules LIMIT 20

formulaid	formula	sumofileid
30	(=> (instance ?PLAY DramaticPlay) (hasPurpose ?PLAY (exists (?ACT ?PROP) (and (instance ?ACT DramaticActing) (containsInformation ?PLAY ?PROP) (realization ?ACT ?PROP)))))	13
46	(=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu)))	29
94	(=> (and (instance ?ENTER Matriculation) (agent ?ENTER ?COLLEGE) (patient ?ENTER ?STUDENT) (instance ?COLLEGE College)) (exists (?GRAD ?SCHOOL) (and (instance ?GRAD Graduation) (agent ?GRAD ?SCHOOL) (patient ?GRAD ?STUDENT) (instance ?SCHOOL HighSchool) (earlier (WhenFn ?GRAD) (WhenFn ?ENTER)))))	13
119	(=> (instance ?AM AnteMeridiem) (exists (?D ?HOUR1 ?HOUR2) (and (instance ?HOUR1 (HourFn 24 ?D)) (starts ?HOUR1 ?AM) (instance ?HOUR2 (HourFn 12 ?D)) (finishes ?HOUR2 ?AM))))	13
191	(=> (and (subclass ?TEXT Periodical) (equal (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1) (equal (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?VOLUME1) (instance ?CBO2 ?VOLUME2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2)))	12
194	(=> (instance ?AUDITORIUM Auditorium) (hasPurpose ?AUDITORIUM (exists (?DEMO) (and (instance ?DEMO Demonstrating) (located ?DEMO ?AUDITORIUM)))))	13
226	(=> (instance ?SR SexualReproduction) (exists (?C) (and (instance ?C BiologicalConception) (subProcess ?C ?SR))))	13
275	(=> (instance ?STATE AmericanState) (part ?STATE UnitedStates))	4
292	(=> (instance ?PAPER Newspaper) (exists (?REPORT) (and (instance ?REPORT Report) (subsumesContentInstance ?PAPER ?REPORT))))	13
377	(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2))))	8
384	(=> (and (instance ?ATOM Hafnium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 178.49 Amu)))	29
419	(=> (diseaseTreatment ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (instance ?PROCESS Putting)))	24
445	(=> (and (instance ?S LegalSummons) (patient ?S ?O) (destination ?S ?P)) (exists (?C ?T) (and (instance ?C CourtRoom) (containsInformation ?O (modalAttribute (holdsDuring ?T (located ?P ?C)) Law)))))	13
476	(=> (and (typicallyContainsPart ?PART ?WHOLE) (instance ?Y ?WHOLE)) (and (equal ?PARTPROB (ProbabilityFn (exists (?X) (and (instance ?X ?PART) (part ?X ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?X) (and (instance ?X ?PART) (part ?X ?Y)))))) (greaterThan ?PARTPROB ?NOTPARTPROB)))	13
491	(=> (instance ?INTERVAL TimeInterval) (finishes (ImmediatePastFn ?INTERVAL) (PastFn ?INTERVAL)))	12
525	(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT))))	12
587	(=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea))	8
636	(=> (instance ?EYE Eye) (capability Seeing instrument ?EYE))	13
658	(=> (and (instance ?STRAT CounterTerrorismStrategy) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?STRAT)) (exists (?CT) (and (patient ?PLANNING ?CT) (instance ?CT CounterTerrorism))))	17
664	(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?A) (experiencer ?DAMAGING ?OBJ))))))	15

SELECT * FROM sumorules INNER JOIN sumoparsemaps USING (formulaid) INNER JOIN sumoterms USING (sumoid) WHERE sumoterm = 'Vehicle' and sumoparsetype = 'p'

sumoid	formulaid	formula	sumofileid	mapid	sumoparsetype	sumoterm	issubclass	issuperclass
23487	15311	(=> (and (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle))	15	45048	p	Vehicle	1	1
23487	35224	(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE))	13	103630	p	Vehicle	1	1
23487	62635	(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO)))	12	184096	p	Vehicle	1	1
23487	92246	(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?FROM)))	12	271289	p	Vehicle	1	1
23487	115275	(=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B)))))	13	338924	p	Vehicle	1	1

SELECT * FROM sumorules INNER JOIN sumoparsemaps USING (formulaid) INNER JOIN sumoterms USING (sumoid) WHERE sumoterm = 'Vehicle' and sumoparsetype = 'c'

sumoid	formulaid	formula	sumofileid	mapid	sumoparsetype	sumoterm	issubclass	issuperclass
23487	954	(=> (instance ?C VehicleController) (exists (?V) (and (instance ?V Vehicle) (part ?C ?V))))	13	2832	c	Vehicle	1	1
23487	8827	(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))	13	25899	c	Vehicle	1	1
23487	15277	(=> (and (instance ?ORG Organization) (attribute ?ORG ScenicAndSightseeingTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS ?VEH) (and (instance ?TRANS Transportation) (instance ?TRANS RecreationOrExercise) (patient ?TRANS ?P) (possesses ?ORG ?VEH) (instance ?VEH Vehicle))) ?MEM ?P))))))	33	44944	c	Vehicle	1	1
23487	15876	(=> (instance ?SHIP VehicleCarrierShip) (cargoType ?SHIP Vehicle))	22	46662	c	Vehicle	1	1
23487	23503	(=> (instance ?W VehicleWindow) (exists (?V) (and (instance ?V Vehicle) (part ?W ?V))))	13	69128	c	Vehicle	1	1
23487	27130	(=> (and (instance ?C CavalryUnit) (instance ?B Battle) (agent ?B ?C)) (exists (?P ?V ?T) (and (attribute ?P Soldier) (member ?P ?C) (instance ?T Transportation) (agent ?T ?P) (instance ?V Vehicle) (patient ?T ?V) (during ?T ?B))))	13	79798	c	Vehicle	1	1
23487	38632	(=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V)))))	13	113640	c	Vehicle	1	1
23487	40653	(=> (instance ?L Headlight) (exists (?V) (and (instance ?V Vehicle) (part ?L (FrontFn ?V)))))	13	119554	c	Vehicle	1	1
23487	43400	(=> (and (instance ?W Wagon) (instance ?T Transportation) (instrument ?T ?W)) (exists (?P) (and (instance ?T Pulling) (agent ?T ?P) (patient ?T ?W) (or (instance ?P DomesticAnimal) (instance ?P Vehicle)))))	13	127550	c	Vehicle	1	1
23487	45220	(=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle))	13	132984	c	Vehicle	1	1
23487	53249	(=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle))	13	156580	c	Vehicle	1	1
23487	95047	(=> (instance ?H Hijacking) (exists (?V) (and (instance ?V Vehicle) (patient ?H ?V))))	13	279463	c	Vehicle	1	1
23487	111672	(=> (instance ?DRIVE Driving) (exists (?VEHICLE) (and (instance ?VEHICLE Vehicle) (patient ?DRIVE ?VEHICLE))))	12	328357	c	Vehicle	1	1
23487	111789	(=> (instance ?L VehicleLight) (exists (?V) (and (instance ?V Vehicle) (part ?L ?V))))	13	328689	c	Vehicle	1	1
23487	121737	(=> (instance ?C Convoy) (exists (?V1 ?V2 ?TIME) (and (not (equal ?V1 ?V2)) (instance ?V1 Vehicle) (instance ?V2 Vehicle) (instance ?TIME TimeInterval) (temporalPart ?TIME (WhenFn ?C)) (holdsDuring ?TIME (and (member ?V1 ?C) (member ?V2 ?C))))))	13	357889	c	Vehicle	1	1

SELECT t1.sumoterm AS class,t2.sumoterm AS superclass,formula FROM sumosubclasses AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumoclassid = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumosuperclassid = t2.sumoid ORDER BY class LIMIT 20

class	superclass	formula
AAM	GuidedMissile	(subclass AAM GuidedMissile)
AAM	AirLaunchMissile	(subclass AAM AirLaunchMissile)
AAM	AirAttackMissile	(subclass AAM AirAttackMissile)
AAV	PassengerVehicle	(subclass AAV PassengerVehicle)
AAV	MilitaryVehicle	(subclass AAV MilitaryVehicle)
AAV	AmphibiousVehicle	(subclass AAV AmphibiousVehicle)
AAV	PoweredVehicle	(subclass AAV PoweredVehicle)
AGM	AirLaunchMissile	(subclass AGM AirLaunchMissile)
AGM	GroundAttackMissile	(subclass AGM GroundAttackMissile)
AGM114	AntiArmorWeapon	(subclass AGM114 AntiArmorWeapon)
AGM114	AGM	(subclass AGM114 AGM)
AGM114	BeamRidingGMissile	(subclass AGM114 BeamRidingGMissile)
AGM65	InfraRedGMissile	(subclass AGM65 InfraRedGMissile)
AGM65	AntiArmorWeapon	(subclass AGM65 AntiArmorWeapon)
AGM65	AGM	(subclass AGM65 AGM)
AH1	Helicopter	(subclass AH1 Helicopter)
AH1	MilitaryVehicle	(subclass AH1 MilitaryVehicle)
AIM9	InfraRedGMissile	(subclass AIM9 InfraRedGMissile)
AIM9	AAM	(subclass AIM9 AAM)
AMRadioStation	RadioStation	(subclass AMRadioStation RadioStation)

SELECT t1.sumoterm AS relation,t2.sumoterm AS superrelation,formula FROM sumosubrelations AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumorelationid = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumosuperrelationid = t2.sumoid ORDER BY relation LIMIT 20

relation	superrelation	formula
AbortedLaunchFn	AbortedFn	(subrelation AbortedLaunchFn AbortedFn)
AbortedMissionFn	AbortedFn	(subrelation AbortedMissionFn AbortedFn)
CPUUtilizationFn	UnaryFunction	(subrelation CPUUtilizationFn UnaryFunction)
CitizenryFn	ResidentFn	(subrelation CitizenryFn ResidentFn)
DensityFn	PerFn	(subrelation DensityFn PerFn)
ShorelineFn	BorderFn	(subrelation ShorelineFn BorderFn)
SpeedFn	PerFn	(subrelation SpeedFn PerFn)
abbreviation	conventionalShortName	(subrelation abbreviation conventionalShortName)
absorbedDose	measure	(subrelation absorbedDose measure)
abstractCounterpart	represents	(subrelation abstractCounterpart represents)
abstractionLevel	property	(subrelation abstractionLevel property)
accountAt	agreementMember	(subrelation accountAt agreementMember)
accountHolder	agreementMember	(subrelation accountHolder agreementMember)
administrativeCenter	geopoliticalSubdivision	(subrelation administrativeCenter geopoliticalSubdivision)
afterTaxIncome	incomeEarned	(subrelation afterTaxIncome incomeEarned)
age	measure	(subrelation age measure)
agent	involvedInEvent	(subrelation agent involvedInEvent)
agentOperatesInArea	partlyLocated	(subrelation agentOperatesInArea partlyLocated)
airTemperature	measure	(subrelation airTemperature measure)
alias	names	(subrelation alias names)

SELECT t1.sumoterm AS instance,t2.sumoterm AS class,formula FROM sumoinstances AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumoinstanceid = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumoclassid = t2.sumoid ORDER BY instance LIMIT 20

instance	class	formula
AAA-Rating	FinancialRating	(instance AAA-Rating FinancialRating)
ALManghamJrRegionalTXAirport	Airport	(instance ALManghamJrRegionalTXAirport Airport)
AMenderesIzmirAirport	Airport	(instance AMenderesIzmirAirport Airport)
APHillArmyAirFieldVAAirport	Airport	(instance APHillArmyAirFieldVAAirport Airport)
APucikwarLanguage	CentralGreatAndamaneseLanguage	(instance APucikwarLanguage CentralGreatAndamaneseLanguage)
ASEANRegionalForum	OrganizationOfNations	(instance ASEANRegionalForum OrganizationOfNations)
AachenAirport	Airport	(instance AachenAirport Airport)
AalborgAirport	Airport	(instance AalborgAirport Airport)
AariyaLanguage	UnclassifiedSpokenLanguage	(instance AariyaLanguage UnclassifiedSpokenLanguage)
AbaTennaDYilmaDireDawaAirport	Airport	(instance AbaTennaDYilmaDireDawaAirport Airport)
AbadanAirport	Airport	(instance AbadanAirport Airport)
AbaiangAirport	Airport	(instance AbaiangAirport Airport)
AbakanKhakassiaAirport	Airport	(instance AbakanKhakassiaAirport Airport)
AbauAirport	Airport	(instance AbauAirport Airport)
AbbotsfordBCAirport	Airport	(instance AbbotsfordBCAirport Airport)
AbbotsichnScotlandAirport	Airport	(instance AbbotsichnScotlandAirport Airport)
AbbseAirport	Airport	(instance AbbseAirport Airport)
AbecheAirport	Airport	(instance AbecheAirport Airport)
AbemamaAtollAirport	Airport	(instance AbemamaAtollAirport Airport)
AbengourouAirport	Airport	(instance AbengourouAirport Airport)

SELECT t1.sumoterm AS disjoint1,t2.sumoterm AS disjoint2,formula FROM sumodisjoints AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumodisjoint1id = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumodisjoint2id = t2.sumoid ORDER BY disjoint1 LIMIT 20

disjoint1	disjoint2	formula
AboveTheLine	BelowTheLine	(disjoint AboveTheLine BelowTheLine)
AnaerobicExerciseDevice	AerobicExerciseDevice	(disjoint AnaerobicExerciseDevice AerobicExerciseDevice)
ApartmentBuilding	SingleFamilyResidence	(disjoint ApartmentBuilding SingleFamilyResidence)
Article	Book	(disjoint Article Book)
ArtilleryCannon	MilitaryTank	(disjoint ArtilleryCannon MilitaryTank)
Asphalt	FossilFuel	(disjoint Asphalt FossilFuel)
AstronomicalBody	GeographicArea	(disjoint AstronomicalBody GeographicArea)
Attaching	Detaching	(disjoint Attaching Detaching)
AutonomicProcess	IntentionalProcess	(disjoint AutonomicProcess IntentionalProcess)
Barn	ResidentialBuilding	(disjoint Barn ResidentialBuilding)
BaseballSteal	BaseballWalk	(disjoint BaseballSteal BaseballWalk)
BaseballSteal	BaseballHit	(disjoint BaseballSteal BaseballHit)
BaseballStrike	BaseballHit	(disjoint BaseballStrike BaseballHit)
BaseballWalk	BaseballHit	(disjoint BaseballWalk BaseballHit)
BecomingDrunk	SoberingUp	(disjoint BecomingDrunk SoberingUp)
BeginningOperations	CeasingOperations	(disjoint BeginningOperations CeasingOperations)
BiochemicalWeapon	RadioactiveWeapon	(disjoint BiochemicalWeapon RadioactiveWeapon)
Bird	Mammal	(disjoint Bird Mammal)
Buffalo	DomesticAnimal	(disjoint Buffalo DomesticAnimal)
Canine	Feline	(disjoint Canine Feline)

SELECT t1.sumoterm AS class FROM sumosubclasses AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumoclassid = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumosuperclassid = t2.sumoid WHERE t2.sumoterm = 'Vehicle'

class
PassengerVehicle
MilitaryVehicle
LandVehicle
CargoVehicle
Spacecraft
WaterVehicle
UnpoweredVehicle
AgentPoweredVehicle
PoweredVehicle
Car
ArmoredVehicle
Aircraft

SELECT t2.sumoterm AS class FROM sumosubclasses AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumoclassid = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumosuperclassid = t2.sumoid WHERE t1.sumoterm = 'Vehicle'

class
TransportationDevice

SELECT sumoattr,COUNT(*)AS count FROM sumotermattrs GROUP BY sumoattr ORDER BY sumoattr

sumoattr	count
@	139
A	274
C	1266
F	10
P	6
R	49
S	106
a	1006
c	4298
f	202
i	18913
l	7
m	4
p	729
q	2
r	1073
s	309
y	197
~	5

SELECT attrtag,COUNT(*) AS count FROM sumotaggedterms GROUP BY attrtag ORDER BY attrtag

attrtag	count
@	14
@Sipr	9
@Siprs	5
@Sir	1
@Sirs	6
@Spr	1
@Ss	3
@ipr	73
@iprs	8
@ipr~	1
@ir	6
@irs	3
@l	3
@lq	2
@s	4
ACac	80
ACaci	1
Aac	188
Aaci	5
C	9
CFRScfir	1
CFRcfir	1
CFRcfr	1
CPRScipr	1
CRcfir	1
CRcipr	1
CRcir	7
CRcr	9
Cac	1
Cai	7
Cc	1141
Cci	2
Ccr	1
Ci	2
FRcfir	2
FRcfr	5
PRcipr	4
PRcpr	1
Rcir	6
Rcr	9
Sfiry	4
Sipr	37
Siprs	20
Sir	1
Sirs	11
Ss	6
aci	5
ai	719
c	2817
ci	8
fimry	4
firsy	3
firy	180
i	17118
ipr	488
iprs	76
ipr~	4
ir	25
irs	55
irsy	2
l	2
s	105
sy	2
y	2

SELECT COUNT(*) AS countofterms FROM sumoterms

countofterms
26056

SELECT COUNT(*) AS countofrules FROM sumorules

countofrules
3825

SELECT COUNT(*) AS countofformulas FROM sumoformulas

countofformulas
125551

SELECT COUNT(*) AS countoffunctionterms FROM sumoterms WHERE sumoterm LIKE '%Fn'

countoffunctionterms
197

SELECT COUNT(*) AS countofsubclassformulas FROM sumosubclassformulas

countofsubclassformulas
5055

SELECT COUNT(*) AS countofsubrelationformulas FROM sumosubrelationformulas

countofsubrelationformulas
321

SELECT COUNT(*) AS countofinstanceformulas FROM sumoinstanceformulas

countofinstanceformulas
19806

SELECT COUNT(*) AS countofdisjointformulas FROM sumodisjointformulas

countofdisjointformulas
134