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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - April
April(April)
Apr, April

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2798-2798
No TPTP formula. May not be expressible in strict first order. Merge.kif 8544-8544
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4960-4960
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4859-4859
No TPTP formula. May not be expressible in strict first order. Merge.kif 8542-8542 April is a subclass of month
No TPTP formula. May not be expressible in strict first order. Merge.kif 8469-8469 successorClass April and May

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8468-8468 successorClass March and April
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1280-1280
No TPTP formula. May not be expressible in strict first order. english_format.kif 1786-1786

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8550-8554
No TPTP formula. May not be expressible in strict first order. Merge.kif 8536-8540
No TPTP formula. May not be expressible in strict first order. Merge.kif 8546-8548

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 2782-2782 The day 27 is a date established of arab monetary fund
No TPTP formula. May not be expressible in strict first order. Government.kif 3096-3096 The day 15 is a date established of european bank for reconstruction and development
No TPTP formula. May not be expressible in strict first order. Government.kif 3107-3107 The day 8 is a date established of european community
No TPTP formula. May not be expressible in strict first order. Government.kif 3316-3316 The day 8 is a date established of inter american development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3614-3614 The day 4 is a date established of north atlantic treaty organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3659-3659 The day 29 is a date established of organization for the prohibition of chemical weapons
No TPTP formula. May not be expressible in strict first order. Government.kif 3683-3683 The day 14 is a date established of organization of american states
No TPTP formula. May not be expressible in strict first order. Government.kif 3925-3925 The day 29 is a date established of united nations interregional crime and justice research institute
No TPTP formula. May not be expressible in strict first order. Government.kif 3985-3985 The day 9 is a date established of united nations iraq kuwait observation mission
No TPTP formula. May not be expressible in strict first order. Government.kif 3997-3997 The day 29 is a date established of united nations mission for the referendum in western sahara
No TPTP formula. May not be expressible in strict first order. Government.kif 4305-4305 The day 15 is a date established of world trade organization


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