Sigma KB Term Intersection

(=> (and (birthdate ?A ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (birthday ?A ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24236-24246	birthdate humain and jour jour est une instance de le jour nombre entier positif jour nombre entier birthday humain and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
(=> (and (instance ?WED Wedding) (date ?WED ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?CLASS ?FUTURE) (and (weddingAnniversary ?WED ?CLASS) (subclass ?CLASS Day) (instance ?FUTURE Integer) (equal ?CLASS (DayFn ?D (MonthFn ?M (YearFn ?FUTURE)))) (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 24195-24206	Physique est une instance de Wedding la date de physique est jour jour est une instance de le jour nombre entier positif jour nombre entier weddingAnniversary physique and jour jour est une sous-classe de jour nombre entier est une instance de nombre entier jour est jour nombre entier positif nombre entier est plus grand que nombre entier
(subclass Day TimeInterval)	Merge.kif 9230-9230	Jour est une sous-classe de interval temporel
(subclass Monday Day)	Merge.kif 9240-9240	Lundi est une sous-classe de jour
(subclass Tuesday Day)	Merge.kif 9243-9243	Mardi est une sous-classe de jour
(subclass Wednesday Day)	Merge.kif 9256-9256	Mercredi est une sous-classe de jour
(subclass Thursday Day)	Merge.kif 9269-9269	Jeudi est une sous-classe de jour
(subclass Friday Day)	Merge.kif 9282-9282	Vendredi est une sous-classe de jour
(subclass Saturday Day)	Merge.kif 9295-9295	Samedi est une sous-classe de jour
(subclass Sunday Day)	Merge.kif 9308-9308	Dimanche est une sous-classe de jour
(subclass ChristmasDay Day)	Media.kif 335-335	ChristmasDay est une sous-classe de jour

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