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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - May
May(May)
May

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2799-2799
No TPTP formula. May not be expressible in strict first order. Merge.kif 8777-8777
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4931-4931
No TPTP formula. May not be expressible in strict first order. Merge.kif 8775-8775 May is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8689-8689 %2 is the successorClass of %2.

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8688-8688 %2 is the successorClass of %2.
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1281-1281
No TPTP formula. May not be expressible in strict first order. english_format.kif 1779-1779

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8769-8773
No TPTP formula. May not be expressible in strict first order. Merge.kif 8783-8787
No TPTP formula. May not be expressible in strict first order. Merge.kif 8779-8781

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 498-506

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2777-2777 The day 26 is a date established of andean community of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2805-2805 The day 16 is a date established of arab fund for economic and social development
No TPTP formula. May not be expressible in strict first order. Government.kif 2953-2953 The month May is a date established of colombo plan
No TPTP formula. May not be expressible in strict first order. Government.kif 3006-3006 The day 5 is a date established of council of europe
No TPTP formula. May not be expressible in strict first order. Government.kif 3026-3026 The day 29 is a date established of council of the entente
No TPTP formula. May not be expressible in strict first order. Government.kif 3121-3121 The day 28 is a date established of economic community of west african states
No TPTP formula. May not be expressible in strict first order. Government.kif 3228-3228 The day 31 is a date established of european space agency
No TPTP formula. May not be expressible in strict first order. Government.kif 3272-3272 The day 22 is a date established of group of6
No TPTP formula. May not be expressible in strict first order. Government.kif 3348-3348 The day 25 is a date established of gulf cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 4188-4188 The day 25 is a date established of international criminal tribunal for the former yugoslavia
No TPTP formula. May not be expressible in strict first order. Government.kif 3489-3489 The day 5 is a date established of international federation of red cross and red crescent societies
No TPTP formula. May not be expressible in strict first order. Government.kif 3495-3495 The day 25 is a date established of international finance corporation
No TPTP formula. May not be expressible in strict first order. Government.kif 3591-3591 The day 17 is a date established of international telecommunication union
No TPTP formula. May not be expressible in strict first order. Government.kif 3716-3716 The day 25 is a date established of organization of african unity
No TPTP formula. May not be expressible in strict first order. Government.kif 3897-3897 The day 31 is a date established of united nations disengagement observer force
No TPTP formula. May not be expressible in strict first order. Government.kif 4265-4265 The day 14 is a date established of warsaw pact
No TPTP formula. May not be expressible in strict first order. Geography.kif 1659-1659 Spring season is equal to the recurring period from March to May


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