Sigma KB Term Intersection

(=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 30030-30060	工程は BreakingRecord の instance では %n AutonomousAgent は工程の agent では %n セットクラス, 工程, 時点, 格役割, オブジェクト and エンティティーセットはセットの instance では %n AutonomousAgent はセットの element %n クラスは工程の subclass では %n オブジェクトは地域の instance では %n 時点は時点の instance では %n エンティティーは量の instance では %n 工程はクラスの instance では %n 工程はエンティティーへの reference を includes %n{ない} エンティティーは工程への reference を includes %n{ない} playsRoleInEvent AutonomousAgent, 格役割 and 工程 eventLocated 工程 and オブジェクトエンティティーエンティティーエンティティーはセットの instance では %n エンティティーは AutonomousAgent と equal ではエンティティーはクラスの instance では %n playsRoleInEvent エンティティー, 格役割 and エンティティー eventLocated エンティティー and オブジェクトは時点と工程の time の existence の end の interval の during holds %n{ない}
(subclass TimePoint TimePosition)	Merge.kif 2091-2091	時点は時間位置の subclass では %n
(subclass Epoch TimePoint)	QoSontology.kif 2135-2135	Epoch は時点の subclass では %n
(subclass Midnight TimePoint)	Merge.kif 8780-8780	Midnight は時点の subclass では %n
(subclass Noon TimePoint)	Merge.kif 8854-8854	Noon は時点の subclass では %n

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