Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	People.kif 813-813	LocalChurch est une sous-classe de Church
No TPTP formula. May not be expressible in strict first order.	People.kif 891-891	LocalRomanCatholicChurch est une sous-classe de LocalChurch
No TPTP formula. May not be expressible in strict first order.	People.kif 1084-1084	HouseChurch est une sous-classe de LocalChurch
No TPTP formula. May not be expressible in strict first order.	People.kif 1090-1090	CommunityChurch est une sous-classe de LocalChurch
No TPTP formula. May not be expressible in strict first order.	People.kif 1138-1138	MilitaryChapel est une sous-classe de LocalChurch
No TPTP formula. May not be expressible in strict first order.	People.kif 1142-1142	CollegeChapel est une sous-classe de LocalChurch
No TPTP formula. May not be expressible in strict first order.	People.kif 1148-1148	HospitalChapel est une sous-classe de LocalChurch
No TPTP formula. May not be expressible in strict first order.	People.kif 1152-1152	LocalChurchOfLatterDaySaints est une sous-classe de LocalChurch
No TPTP formula. May not be expressible in strict first order.	People.kif 1168-1168	PrisonChapel est une sous-classe de LocalChurch
No TPTP formula. May not be expressible in strict first order.	People.kif 1169-1169	IndependentChurch est une sous-classe de LocalChurch