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 30018-30048	Processo è un' istanza di BreakingRecord Processo è un agente di AutonomousAgent Insieme Classe, Processo, PuntoTemporale, RuoloSemantico, Oggetto and Entit� Insieme è un' istanza di Insieme %è un elemento di %2 Classe è una sottoclasse di Processo Oggetto è un' istanza di Regione PuntoTemporale è un' istanza di PuntoTemporale Entit� è un' istanza di Quantit� Processo è un' istanza di Classe Processo include un riferimento a Entit� Entit� include un riferimento a Processo playsRoleInEvent AutonomousAgent, RuoloSemantico and Processo eventLocated Processo and Oggetto Entit� Entit� Entit� è un' istanza di Insieme Entit� is uguale a AutonomousAgent Entit� è un' istanza di Classe playsRoleInEvent Entit�, RuoloSemantico and Entit� eventLocated Entit� and Oggetto vales durante intervallo tra PuntoTemporale e la fine di il tempo di esistenza di Processo
(subclass Quantity Abstract)	Merge.kif 1694-1694	Quantit� è una sottoclasse di Astratto
(subclass FiniteQuantity Quantity)	Mid-level-ontology.kif 2874-2874	FiniteQuantity è una sottoclasse di Quantit�
(subclass InfiniteQuantity Quantity)	Mid-level-ontology.kif 2878-2878	InfiniteQuantity è una sottoclasse di Quantit�
(subclass Number Quantity)	Merge.kif 1824-1824	Numero è una sottoclasse di Quantit�
(subclass PhysicalQuantity Quantity)	Merge.kif 2025-2025	Quantit�Fisica è una sottoclasse di Quantit�
(subclass PhysicalDimension Quantity)	engineering.kif 74-74	PhysicalDimension è una sottoclasse di Quantit�
(subclass MultipoleQuantity Quantity)	engineering.kif 293-293	MultipoleQuantity è una sottoclasse di Quantit�

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