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

Formal Language: 



KB Term:  Term intersection
English Word: 

  March

Sigma KEE - March
March(March)
Mar, March

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2797-2797
No TPTP formula. May not be expressible in strict first order. Merge.kif 9088-9088
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1538-1538
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4928-4928
No TPTP formula. May not be expressible in strict first order. Merge.kif 9086-9086 March is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 9026-9026 April is the successor class of March.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9025-9025 March is the successor class of February.
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1279-1279
No TPTP formula. May not be expressible in strict first order. english_format.kif 1775-1775
No TPTP formula. May not be expressible in strict first order. french_format.kif 957-957
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 492-492
No TPTP formula. May not be expressible in strict first order. terms-it.txt 496-496
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2641-2641
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 909-909
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 498-498
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 532-532
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 978-978
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 497-497

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9080-9084
No TPTP formula. May not be expressible in strict first order. Merge.kif 9094-9098
No TPTP formula. May not be expressible in strict first order. Merge.kif 9090-9092

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 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 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 2771-2771 The day 20 is a date established of agency for the french speaking community
No TPTP formula. May not be expressible in strict first order. Government.kif 2833-2833 The day 22 is a date established of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 3035-3035 The day 6 is a date established of council of the baltic sea states
No TPTP formula. May not be expressible in strict first order. Government.kif 3189-3189 The day 25 is a date established of european investment bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3394-3394 The day 21 is a date established of inter governmental authority on development
No TPTP formula. May not be expressible in strict first order. Government.kif 3555-3555 The day 6 is a date established of international maritime organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3667-3667 The day 16 is a date established of nordic council
No TPTP formula. May not be expressible in strict first order. Government.kif 3866-3866 The day 26 is a date established of southern cone common market
No TPTP formula. May not be expressible in strict first order. Government.kif 4047-4047 The day 19 is a date established of united nations interim force in lebanon
No TPTP formula. May not be expressible in strict first order. Government.kif 4129-4129 The day 4 is a date established of united nations peace keeping force in cyprus
No TPTP formula. May not be expressible in strict first order. Government.kif 4143-4143 The day 31 is a date established of united nations preventive deployment force
No TPTP formula. May not be expressible in strict first order. Geography.kif 1664-1664 Spring season is equal to the recurring period from March to May


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