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{ない}
(=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (instance ?S Set) (patient ?DECIDE ?S) (element ?M ?S)) (believes ?AGENT (exists (?CLASS) (and (instance ?M ?CLASS) (subclass ?CLASS IntentionalProcess) (capability ?CLASS agent ?AGENT)))))	Merge.kif 12014-12026	工程は Deciding の instance では %n 認識エージェントは工程の agent では %n セットはセットの instance では %n セットは工程の patient では %n エンティティーはセットの element %n 認識エージェントはエンティティーエンティティーはエンティティーの instance では %n エンティティーは意図的なプロセスの subclass では %n 認識エージェントはエンティティーを agent として行う capable では %n を believes %n{ない}
(subclass Set SetOrClass)	Merge.kif 2148-2148	セットは同じセットまたはクラスの subclass では %n
(subclass NullSet Set)	Merge.kif 5516-5516	NullSet はセットの subclass では %n
(subclass NonNullSet Set)	Merge.kif 5527-5527	NonNullSet はセットの subclass では %n
(subclass FiniteSet Set)	Merge.kif 5537-5537	有限集合はセットの subclass では %n
(subclass SetOfEquations Set)	engineering.kif 205-205	SetOfEquations はセットの 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