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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - March
March(March)
3月, 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 8406-8406
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4929-4929 "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg" is a URL depicting March
No TPTP formula. May not be expressible in strict first order. Merge.kif 8404-8404 March is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8344-8344 successorClass March and April

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8343-8343 successorClass February and March
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1279-1279 "三月" is the printable form of March in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1784-1784 "March" is the printable form of March in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8398-8402
No TPTP formula. May not be expressible in strict first order. Merge.kif 8412-8416
No TPTP formula. May not be expressible in strict first order. Merge.kif 8408-8410

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 2925-2925 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 4076-4076 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 2707-2707 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 2764-2764 The day 22 is a date established of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 2966-2966 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 3120-3120 The day 25 is a date established of european investment bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3325-3325 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 3486-3486 The day 6 is a date established of international maritime organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3598-3598 The day 16 is a date established of nordic council
No TPTP formula. May not be expressible in strict first order. Government.kif 3797-3797 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 3978-3978 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 4060-4060 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 4074-4074 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 1617-1617 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners