TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2806-2806
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9215-9215
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1547-1547
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4869-4869
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9213-9213	December is a subclass of month

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9034-9034	December is the successor class of November.
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1288-1288
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1793-1793
No TPTP formula. May not be expressible in strict first order.	french_format.kif 966-966
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 501-501
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 505-505
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2650-2650
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 918-918
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 507-507
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 541-541
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 987-987
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 506-506

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9221-9228	If a time interval is an instance of the month December and another time interval is an instance of the month January and a third time interval is an instance of a kind of year and a fourth time interval is an instance of another kind of year and the third time interval meets the fourth time interval, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9207-9211	If a time interval is an instance of the month November and another time interval is an instance of the month December, then the time interval meets the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9217-9219	If a time interval is an instance of December, then duration of the time interval is 31 day duration(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 587-597	If a time interval is an instance of hanukkah and a time point is equal to the beginning of the time interval, then there exists a time position such that the time point is a part of the time position and the time position is an instance of month and the time position is an instance of November or the time position is an instance of December
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3003-3011	If an entity is an instance of delta and the entity is a part of another entity and Covid is an attribute of the other entity holds during a real number, then the real number is greater than the month December

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3192-3192	The day 1 is an agreement adoption date of antarctic treaty
No TPTP formula. May not be expressible in strict first order.	Government.kif 2863-2863	The day 19 is a date established of asian development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2943-2943	The day 3 is a date established of central african states development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2950-2950	The day 13 is a date established of central american bank for economic integration
No TPTP formula. May not be expressible in strict first order.	Government.kif 2957-2957	The day 13 is a date established of central american common market
No TPTP formula. May not be expressible in strict first order.	Government.kif 2987-2987	The day 8 is a date established of commonwealth of independent states
No TPTP formula. May not be expressible in strict first order.	Government.kif 2980-2980	The day 31 is a date established of commonwealth of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3376-3376	The day 21 is a date established of indian ocean commission
No TPTP formula. May not be expressible in strict first order.	Government.kif 3429-3429	The day 7 is a date established of international civil aviation organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 3443-3443	The month December is a date established of international confederation of free trade unions
No TPTP formula. May not be expressible in strict first order.	Government.kif 3623-3623	The day 15 is a date established of islamic development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3650-3650	The day 8 is a date established of monetary and economic community of central africa
No TPTP formula. May not be expressible in strict first order.	Government.kif 3675-3675	The day 4 is a date established of nordic investment bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3705-3705	The day 14 is a date established of organization for economic cooperation and development
No TPTP formula. May not be expressible in strict first order.	Government.kif 3834-3834	The day 8 is a date established of south asian association for regional cooperation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3848-3848	The day 11 is a date established of southern african customs union
No TPTP formula. May not be expressible in strict first order.	Government.kif 3890-3890	The day 11 is a date established of united nations childrens fund
No TPTP formula. May not be expressible in strict first order.	Government.kif 3902-3902	The day 30 is a date established of united nations conference on trade and development
No TPTP formula. May not be expressible in strict first order.	Government.kif 3934-3934	The day 15 is a date established of united nations environment program
No TPTP formula. May not be expressible in strict first order.	Government.kif 4020-4020	The day 3 is a date established of united nations high commissioner for refugees
No TPTP formula. May not be expressible in strict first order.	Government.kif 4034-4034	The day 11 is a date established of united nations institute for training and research
No TPTP formula. May not be expressible in strict first order.	Government.kif 4073-4073	The day 21 is a date established of united nations mission in bosnia and herzegovina
No TPTP formula. May not be expressible in strict first order.	Government.kif 4100-4100	The day 16 is a date established of united nations mission of observers in tajikistan
No TPTP formula. May not be expressible in strict first order.	Government.kif 4150-4150	The day 8 is a date established of united nations relief and works agency for palestine refugees in the near east
No TPTP formula. May not be expressible in strict first order.	Government.kif 4263-4263	The day 3 is a date established of united nations university

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: