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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8749-8749
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4929-4929
No TPTP formula. May not be expressible in strict first order. Merge.kif 8747-8747 March is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8687-8687 %2 is the successorClass of %2.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8686-8686 %2 is the successorClass of %2.
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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8741-8745
No TPTP formula. May not be expressible in strict first order. Merge.kif 8755-8759
No TPTP formula. May not be expressible in strict first order. Merge.kif 8751-8753

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 2975-2975 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 4126-4126 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 2752-2752 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 2814-2814 The day 22 is a date established of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 3016-3016 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 3170-3170 The day 25 is a date established of european investment bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3375-3375 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 3536-3536 The day 6 is a date established of international maritime organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3648-3648 The day 16 is a date established of nordic council
No TPTP formula. May not be expressible in strict first order. Government.kif 3847-3847 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 4028-4028 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 4110-4110 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 4124-4124 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 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