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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8934-8934 %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 8989-8993
No TPTP formula. May not be expressible in strict first order. Merge.kif 9003-9007
No TPTP formula. May not be expressible in strict first order. Merge.kif 8999-9001

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 2986-2986 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 4137-4137 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 2763-2763 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 2825-2825 The day 22 is a date established of arab league
No TPTP formula. May not be expressible in strict first order. Government.kif 3027-3027 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 3181-3181 The day 25 is a date established of european investment bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3386-3386 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 3547-3547 The day 6 is a date established of international maritime organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3659-3659 The day 16 is a date established of nordic council
No TPTP formula. May not be expressible in strict first order. Government.kif 3858-3858 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 4039-4039 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 4121-4121 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 4135-4135 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 1667-1667 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