;;;Magnetic Reasonance Imaging Knowledge

Declarations of Concepts, Roles and Indivisulas
( signature 	:atomic-concepts ( OPIFGyrus IFGyrus FrontalLobe
		centralSulcus preCentralSulcus preCentralGyrus
		postCentralGyrus gyriConnection A B C D E F)
	:roles	( ( isAPartOf :transitive t)
		( isDAPartOf :parent isAPartOf)
		( isMAEConnected)
		( isSFContigous))
	:individuals	( o1 o2 o3 o2')) 

;;;Axioms
( implies OPIFGyrus ( some isDAPartOf IFGyrus))
( implies IFGyrus ( some isDAPartOf FrontalLobe))

;;;Assertions
( instance o2 IFGyrus >= 0.85)
( instance o1 OPIFGyrus >= 0.75)
( instance o1 centralSulcus >= 0.9)
( instance o2 preCentralSulcus >= 0.9)
( instance o1 preCentralGyrus >= 0.95)
( instance o2 postCentralGyrus >= 0.85)
( instance o2 and ( and ( and postCentralGyrus preCentralSulcus) ( and postCentralGyrus preCentralSulcus)) preCentralSulcus preCentralSulcus preCentralSulcus preCentralSulcus preCentralSulcus >= 0.85)
( instance o3 (at-most 2 isSFContigous) >= 0.5)
( instance o3 (at-least 2 isSFContigous) >= 0.5)
( instance o3 or A B C D E F)
( instance o3 or A B )

( related o1 o2 isDAPartOf >= 0.8)
( related o2 o3 isDAPartOf >= 0.9)
( related o2' o3 isDAPartOf >= 0.3)
( related o1 o2 isSFContigous >= 0.93)
( related o1 o2 isMAEConnected >= 0.4)