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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - February
February(February)
Feb, February

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2796-2796
No TPTP formula. May not be expressible in strict first order. Merge.kif 8725-8725
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4872-4872
No TPTP formula. May not be expressible in strict first order. Merge.kif 8723-8723 February is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8686-8686 %2 is the successorClass of %2.

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8685-8685 %2 is the successorClass of %2.
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1278-1278
No TPTP formula. May not be expressible in strict first order. english_format.kif 1773-1773

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8734-8739
No TPTP formula. May not be expressible in strict first order. Merge.kif 8727-8732
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 8717-8721

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2759-2759 The day 14 is a date established of agency for the prohibition of nuclear weapons in latin america and the caribbean
No TPTP formula. May not be expressible in strict first order. Government.kif 2793-2793 The day 18 is a date established of arab bank for economic development in africa
No TPTP formula. May not be expressible in strict first order. Government.kif 2799-2799 The day 16 is a date established of arab cooperation council
No TPTP formula. May not be expressible in strict first order. Government.kif 2823-2823 The day 17 is a date established of arab maghreb union
No TPTP formula. May not be expressible in strict first order. Government.kif 2882-2882 The day 3 is a date established of benelux economic union
No TPTP formula. May not be expressible in strict first order. Government.kif 3177-3177 The day 7 is a date established of european monetary union
No TPTP formula. May not be expressible in strict first order. Government.kif 3235-3235 The day 7 is a date established of european union
No TPTP formula. May not be expressible in strict first order. Government.kif 3418-3418 The day 17 is a date established of international committee of the red cross
No TPTP formula. May not be expressible in strict first order. Government.kif 3574-3574 The month February is a date established of international organization for standardization
No TPTP formula. May not be expressible in strict first order. Government.kif 3671-3671 The day 1 is a date established of nuclear energy agency
No TPTP formula. May not be expressible in strict first order. Government.kif 3776-3776 The day 6 is a date established of pacific community
No TPTP formula. May not be expressible in strict first order. Government.kif 4075-4075 The day 1 is a date established of united nations mission of observers in prevlaka
No TPTP formula. May not be expressible in strict first order. Geography.kif 1662-1662 Winter season is equal to the recurring period from December to February


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