not
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER 0))
(
not
(
equal
?NUMBER1 0))
(
not
(
equal
?NUMBER2 0)))
(
equal
(
SignumFn
?NUMBER2)
(
SignumFn
?NUMBER)))
Merge.kif 5130-5142
Wenn
Integer
betrag
** Integer
ist gleich
** Integer
%n{nicht} und
** ** Integer
ist gleich 0 nicht und
** Integer
ist gleich 0 nicht und
** ** Integer
ist gleich 0 nicht,
dann das
zeichen
von
** ** Integer
ist gleich das
zeichen
von
** ** Integer
%n{nicht}
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER2 0)))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5104-5115
Wenn
Integer
betrag
** Integer
ist gleich
** Integer
%n{nicht} und
** ** Integer
ist gleich 0 nicht,
dann (die
groesste
Ganzzahl kleiner als oder Gleichgestelltes zu
** Integer
und
** ** Integer
und
** ** Integer
und
** ** Integer
) ist gleich
** Integer
%n{nicht}
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
Wenn
Organization
ist gleich
DepartmentOfFn
** Organization
and
** Physical
%n{nicht} und
subOrganization
** Organization
2 and
** ** Organization
und
** Organization
ist gleich
** Organization
2 nicht und
Entity
ist ein
fall
von
** Physical
%n{nicht} und
** Organization
ist an
** Entity
interessiert
%n{nicht} und
RealNumber
ist gleich die
wahrscheinlichkeit
von
** entity
ist der
agent
von
** Organization
%n{nicht} %n{nicht} und
** ** entity
2 ist gleich die
wahrscheinlichkeit
von
** ** entity
ist der
agent
von
** Organization
2 %n{nicht} %n{nicht},
dann
** RealNumber
ist
groesserAls
** ** entity
2 %n{nicht}
(=>
(
and
(
equal
?L
(
LineFn
?P1 ?P2))
(
part
?OP1 ?L)
(
part
?OP2 ?L)
(
not
(
equal
?OP1 ?OP2))
(
equal
?L2
(
LineFn
?OP1 ?OP2)))
(
part
?L2 ?L))
ComputingBrands.kif 2636-2644
Wenn
Object
ist gleich
LineFn
** Object
and
** Object
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** Object
2 ist gleich
LineFn
** ** Object
and
** ** Object
%n{nicht},
dann
** Object
2 ist ein
teil
von
** Object
%n{nicht}
(=>
(
and
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
))
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))
Merge.kif 3083-3102
Wenn
List
ist gleich die Liste bestanden aus
** List
und
** List
%n{nicht} und
** ** List
ist gleich
NullList
nicht und
** ** List
ist gleich
NullList
nicht und
PositiveInteger
ist
kleinerAlsOderGleich
Laenge
von
** ** List
%n{nicht} und
** PositiveInteger
ist
kleinerAlsOderGleich
Laenge
von
** ** List
%n{nicht} und
** PositiveInteger
ist ein
fall
von
PositiveInteger
%n{nicht} und
** ** PositiveInteger
ist ein
fall
von
PositiveInteger
%n{nicht},
dann
** PositiveInteger
te
mitglied
von
** List
ist gleich
** PositiveInteger
te
mitglied
von
** ** List
%n{nicht} und (
Laenge
von
** ** List
und
** ** PositiveInteger
)te
mitglied
von
** List
ist gleich
** ** PositiveInteger
te
mitglied
von
** ** List
%n{nicht}
(=>
(
and
(
graphPart
?ARC1 ?GRAPH)
(
graphPart
?ARC2 ?GRAPH)
(
graphPart
?NODE1 ?GRAPH)
(
graphPart
?NODE2 ?GRAPH)
(
links
?NODE1 ?NODE2 ?ARC1)
(
links
?NODE1 ?NODE2 ?ARC2)
(
not
(
equal
?ARC1 ?ARC2)))
(
instance
?GRAPH
MultiGraph
))
Merge.kif 5790-5799
Wenn
GraphArc
ist ein
teil
von
Graph
%n{nicht} und
** GraphArc
ist ein
teil
von
** Graph
%n{nicht} und
GraphNode
ist ein
teil
von
** Graph
%n{nicht} und
** GraphNode
ist ein
teil
von
** Graph
%n{nicht} und
** GraphArc
verbindet
** GraphNode
und
** ** GraphNode
%n{nicht} und
** ** GraphArc
verbindet
** GraphNode
und
** ** GraphNode
%n{nicht} und
** GraphArc
ist gleich
** ** GraphArc
nicht,
dann
** Graph
ist ein
fall
von
MultiGraph
%n{nicht}
(=>
(
and
(
graphPart
?PATH ?GRAPH)
(
not
(
instance
?GRAPH
DirectedGraph
)))
(<=>
(
instance
?PATH
(
GraphPathFn
?NODE1 ?NODE2))
(
instance
?PATH
(
GraphPathFn
?NODE2 ?NODE1))))
Merge.kif 6062-6068
Wenn
GraphElement
ist ein
teil
von
Graph
%n{nicht} und
** Graph
ist ein
fall
von
DirectedGraph
nicht,
dann
** GraphElement
ist ein
fall
von die
menge
von Pfaden zwischen
GraphNode
und
** GraphNode
%n{nicht} genau dann wenn
** GraphElement
ist ein
fall
von die
menge
von Pfaden zwischen
** ** GraphNode
und
** GraphNode
%n{nicht}
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
Wenn
hasAccount
CognitiveAgent
and
UserAccount
und
password
ComputerPassword
and
** UserAccount
und
deviceAccount
** UserAccount
and
Computer
und
** CognitiveAgent
kennt
password
** ComputerPassword
and
** UserAccount
nicht und
** CognitiveAgent
kennt
recoveryKey
entity
and
** UserAccount
%n{nicht} und
** CognitiveAgent
besitzt
** Computer
%n{nicht},
dann die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
ChangingPassword
%n{nicht} und
** UserAccount
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
hasGUEState
?WIN1
GUE_UncoveredState
)
(
hasGUEState
?WIN1
GUE_MaximizedWindowState
)
(
screenOfGUIE
?WIN1 ?SCREEN)
(
instance
?WIN2
InterfaceWindow
)
(
screenOfGUIE
?WIN2 ?SCREEN)
(
not
(
equal
?WIN1 ?WIN2)))
(
or
(
hasGUEState
?WIN2
GUE_CoveredState
)
(
hasGUEState
?WIN2
GUE_PartiallyCoveredState
)
(
hasGUEState
?WIN2
GUE_OffscreenState
)))
ComputerInput.kif 2120-2131
Wenn
hasGUEState
GUIElement
and
GUE_UncoveredState
und
hasGUEState
** GUIElement
and
GUE_MaximizedWindowState
und
screenOfGUIE
** GUIElement
and
ComputerScreen
und
** GUIElement
ist ein
fall
von
InterfaceWindow
%n{nicht} und
screenOfGUIE
** ** GUIElement
and
** ComputerScreen
und
** GUIElement
ist gleich
** ** GUIElement
nicht,
dann
hasGUEState
** ** GUIElement
and
GUE_CoveredState
oder
hasGUEState
** ** GUIElement
and
GUE_PartiallyCoveredState
oder
hasGUEState
** ** GUIElement
and
GUE_OffscreenState
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
Wenn
Dieting
ist ein
attribut
von
AutonomousAgent
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
Dieting
ist ein
attribut
von
** AutonomousAgent
nicht haelt
waehrend
** TimeInterval
%n{nicht} und
Object
ist ein
fall
von
Meal
%n{nicht} und
Process
ist ein
fall
von
Eating
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
hilfmittel
fuer
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und das
mass
von
** Object
ist
RealNumber
Calorie
(s) %n{nicht} und
** Object
ist ein
fall
von
Meal
%n{nicht} und
** Process
ist ein
fall
von
Eating
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Object
ist ein
hilfmittel
fuer
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
geschieht
waehrend
** ** TimeInterval
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
Calorie
(s) %n{nicht},
dann die Aussage
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 501-514
Wenn
Process
ist ein
fall
von
Ambulating
%n{nicht} und
** Process
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
fall
von
Stepping
%n{nicht} und
** Process
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
fall
von
Stepping
%n{nicht} und
** ** Process
START ist gleich der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht} und
** ** Process
START ist gleich der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht} und
** ** Process
START geschieht
vor
** ** Process
START %n{nicht} und
** ** Process
START geschieht
vor
** ** Process
START %n{nicht},
dann
** ** Process
ist gleich
** ** Process
%n{nicht}
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
Wenn
Process
ist ein
fall
von
Attaching
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
wird an
** ** Entity
nicht angeschlossen haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** Entity
wird an
** ** Entity
angeschlossen haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann
objectAttached
** Process
and
** Entity
und
objectAttached
** Process
and
** ** Entity
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
Wenn
PhysicalSystem
ist ein
fall
von
Automobile
%n{nicht} und
** PhysicalSystem
ist ein
fall
von
Automobile
%n{nicht} und
Object
ist ein
fall
von
AutomobileShock
%n{nicht} und
** Object
ist ein
teil
von
** PhysicalSystem
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
AutomobileShock
%n{nicht} und
** ** Object
ist ein
teil
von
** ** PhysicalSystem
%n{nicht} und
dampingRatio
** PhysicalSystem
and
RealNumber
und
dampingRatio
** ** PhysicalSystem
and
** RealNumber
,
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
Wenn
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
potentialCustomer
CognitiveAgent
and
** AutonomousAgent
und die Aussage
entity
ist ein
fall
von
Reserving
%n{nicht} und
** entity
endet an
** AutonomousAgent
%n{nicht} hat die modale Kraft von
Necessity
und Gesetzt den Fall, dass
customer
** CognitiveAgent
and
** AutonomousAgent
gilt, ist die
wahrscheinlichkeit
von es gibt
** entity
ES1 um
** entity
ES1 ist ein
fall
von
Reservation
%n{nicht} und
reservingEntity
** CognitiveAgent
and
** entity
ES1 und
fulfillingEntity
** AutonomousAgent
and
** entity
ES1
RealNumber
und Gesetzt den Fall, dass
customer
** CognitiveAgent
and
** AutonomousAgent
gilt, ist die
wahrscheinlichkeit
von es gibt nicht
** entity
ES2 um
** entity
ES2 ist ein
fall
von
Reservation
%n{nicht} und
reservingEntity
** CognitiveAgent
and
** entity
ES2 und
fulfillingEntity
** AutonomousAgent
and
** entity
ES2
** RealNumber
,
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2162-2175
Wenn
AutonomousAgent
ist ein
fall
von
Animal
%n{nicht} und
Attribute
ist ein
fall
von
DiseaseOrSyndrome
%n{nicht} und
** Attribute
ist ein
attribut
von
** AutonomousAgent
nicht,
dann es gibt
Transfer
und
Object
um
** Transfer
ist ein
fall
von
BiologicalProcess
%n{nicht} und
** Transfer
ist ein
fall
von
Removing
%n{nicht} und
** Transfer
beginnet an
** AutonomousAgent
%n{nicht} und
** Object
ist ein
fall
von
Sewage
%n{nicht} und
** Transfer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
objectTransferred
** Transfer
and
** Object
(=>
(
and
(
instance
?B
Bubble
)
(
not
(
exists
(?X ?S)
(
and
(
attribute
?X ?S)
(
not
(
equal
?X
Gas
))
(
meetsSpatially
?X ?B)))))
(
attribute
?B
ConvexRoundShape
))
Mid-level-ontology.kif 5016-5025
Wenn
Object
ist ein
fall
von
Bubble
%n{nicht} und es gibt nicht
** Object
und
Attribute
um
** Attribute
ist ein
attribut
von
** ** Object
%n{nicht} und
** ** Object
ist gleich
Gas
nicht und
** ** Object
schliesst
** Object
raeumlich an,
dann
ConvexRoundShape
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4081-4113
Wenn
Object
ist ein
fall
von
BimetalTemperatureSensor
%n{nicht} und
** Object
ist ein
fall
von
Metal
%n{nicht} und
** Object
ist ein
fall
von
Metal
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Entity
ist ein
fall
von
TemperatureMeasure
%n{nicht} und
** Entity
ist ein
fall
von
TemperatureMeasure
%n{nicht} und
RealNumber
ist ein
fall
von
LengthMeasure
%n{nicht} und
** RealNumber
ist ein
fall
von
LengthMeasure
%n{nicht} und
** RealNumber
ist ein
fall
von
LengthMeasure
%n{nicht} und
** RealNumber
ist ein
fall
von
LengthMeasure
%n{nicht} und
** Entity
ist gleich
** ** Entity
nicht und
TimePosition
ist gleich
** TimePosition
nicht und das
mass
von
** Object
ist
** Entity
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
%n{nicht} und das
mass
von
** ** Object
ist
** ** RealNumber
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} und das
mass
von
** Object
ist
** ** Entity
%n{nicht} und das
mass
von
** ** Object
ist
** ** RealNumber
%n{nicht} und das
mass
von
** ** Object
ist
** ** RealNumber
%n{nicht} haelt
waehrend
** ** TimePosition
%n{nicht},
dann
** RealNumber
und
** ** RealNumber
ist gleich
** ** RealNumber
und
** ** RealNumber
nicht
(=>
(
and
(
instance
?C
Convoy
)
(
member
?X1 ?C)
(
member
?X2 ?C)
(
not
(
equal
?X1 ?X2)))
(
exists
(?P1 ?P2 ?D)
(
and
(
instance
?P1
Transportation
)
(
instance
?P2
Transportation
)
(
agent
?P1 ?X1)
(
agent
?P2 ?X2)
(
destination
?P1 ?D)
(
destination
?P2 ?D))))
Military.kif 108-122
Wenn
Collection
ist ein
fall
von
Convoy
%n{nicht} und
AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
** AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
** AutonomousAgent
ist gleich
** ** AutonomousAgent
nicht,
dann es gibt
Process
,
** Process
, and und
Entity
um
** Process
ist ein
fall
von
Transportation
%n{nicht} und
** ** Process
ist ein
fall
von
Transportation
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** Process
endet an
** Entity
%n{nicht} und
** ** Process
endet an
** Entity
%n{nicht}
(=>
(
and
(
instance
?C
Crystal
)
(
attribute
?C
MonoCrystalline
)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Solid
)
(
attribute
?SUB
PolyCrystalline
)
(
instance
?S
Substance
)
(
surface
?S ?SUB)
(
not
(
part
?C ?S)))
(
exists
(?CLNT ?X ?MBR)
(
and
(
instance
?CLNT
Collection
)
(
memberCount
?CLNT ?X)
(
greaterThanOrEqualTo
?X 4)
(=>
(
member
?MBR ?CLNT)
(
and
(
part
?MBR ?SUB)
(
meetsSpatially
?C ?MBR))))))
Geography.kif 7142-7162
Wenn
Object
ist ein
fall
von
Crystal
%n{nicht} und
MonoCrystalline
ist ein
attribut
von
** Object
%n{nicht} und
SelfConnectedObject
ist ein
fall
von
Substance
%n{nicht} und
Solid
ist ein
attribut
von
** SelfConnectedObject
%n{nicht} und
PolyCrystalline
ist ein
attribut
von
** SelfConnectedObject
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
Substance
%n{nicht} und
** ** SelfConnectedObject
ist eine
flaeche
von
** SelfConnectedObject
%n{nicht} und
** Object
ist ein
teil
von
** ** SelfConnectedObject
nicht,
dann es gibt
** Object
LNT,
Integer
, and und
** Object
um
** Object
LNT ist ein
fall
von
Collection
%n{nicht} und
memberCount
** Object
LNT and
** Integer
und
** Integer
ist
groesserAlsOderGleich
4 %n{nicht} und
wenn
** ** Object
ist ein
Mitglied
von
** Object
LNT %n{nicht},
dann
** ** Object
ist ein
teil
von
** SelfConnectedObject
%n{nicht} und
** Object
schliesst
** ** Object
raeumlich an
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
Wenn
Process
ist ein
fall
von
InPersonCommunication
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist gleich
** ** AutonomousAgent
nicht,
dann
** AutonomousAgent
ist
Near
hinsichlich
** ** AutonomousAgent
%n{nicht} haelt
waehrend
** Process
%n{nicht}
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
Wenn
Entity
ist ein
fall
von
COVIDAntibody
%n{nicht} und
Covid19
ist ein
attribut
von
** entity
nicht und
** Entity
ist ein
teil
von
** ** entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage
Covid19
ist ein
attribut
von
** ** entity
%n{nicht} hat die modale Kraft von
Unlikely
haelt
waehrend
sofort
nach
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?CC
ComputerCable
)
(
not
(
instance
?C
Cable
))
(
part
?C ?CC))
(
or
(
instance
?C
MaleConnector
)
(
instance
?C
FemaleConnector
)))
ComputingBrands.kif 2746-2754
Wenn
Object
ist ein
fall
von
ComputerCable
%n{nicht} und
** Object
ist ein
fall
von
Cable
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** ** Object
ist ein
fall
von
MaleConnector
%n{nicht} oder
** ** Object
ist ein
fall
von
FemaleConnector
%n{nicht}
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
Wenn
GeopoliticalArea
ist ein
fall
von
AmericanCity
%n{nicht} und
** GeopoliticalArea
ist ein
teil
von
California
%n{nicht} und
** GeopoliticalArea
ist gleich
LosAngelesCalifornia
nicht,
dann die Zahl
Faellen
in
ResidentFn
LosAngelesCalifornia
ist
groesserAls
die Zahl
Faellen
in
ResidentFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
WebListing
)
(
instance
?TIME
TimePoint
)
(
listingSeller
?LISTING ?AGENT)
(
not
(
member
?LISTING ?COLL))
(
forall
(?ITEM ?MEMBER)
(
and
(=>
(
and
(
instance
?ITEM
WebListing
)
(
member
?ITEM
(
SellersItemsFn
?AGENT ?SITE))
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
not
(
equal
?ITEM ?LISTING)))
(
member
?ITEM ?COLL))
(=>
(
member
?MEMBER ?COLL)
(
and
(
temporalPart
?TIME
(
WhenFn
?ITEM))
(
instance
?MEMBER
WebListing
))))))
(
equal
(
SellersOtherItemsFn
?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1033-1060
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
WebSite
ist ein
fall
von
WebSite
%n{nicht} und
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
WebListing
ist ein
fall
von
WebListing
%n{nicht} und
TimePoint
ist ein
fall
von
TimePoint
%n{nicht} und
listingSeller
** WebListing
and
** AutonomousAgent
und
** WebListing
ist ein
Mitglied
von
** Collection
nicht und fuer alle
Physical
und
** Physical
wenn
** Physical
ist ein
fall
von
WebListing
%n{nicht} und
** Physical
ist ein
Mitglied
von
SellersItemsFn
** AutonomousAgent
and
** WebSite
%n{nicht} und
** TimePoint
ist ein
teil
von die
zeit
des Bestehens von
** Physical
%n{nicht} und
** Physical
ist gleich
** WebListing
nicht,
dann
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht}
und
wenn
** ** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** TimePoint
ist ein
teil
von die
zeit
des Bestehens von
** Physical
%n{nicht} und
** ** Physical
ist ein
fall
von
WebListing
%n{nicht}
,
dann
SellersOtherItemsFn
** AutonomousAgent
,
** WebSite
,
** WebListing
and
** TimePoint
ist gleich
** Collection
%n{nicht}
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 877-888
Wenn
Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** Collection
and
Chromosome
und
** Collection
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
CellNucleus
%n{nicht} und
** Object
ist ein
teil
von
EukaryoticCell
%n{nicht} und
MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** MonoploidChromosomeSet
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** MonoploidChromosomeSet
ist gleich
** ** MonoploidChromosomeSet
nicht,
dann
homologousChromosomePair
** MonoploidChromosomeSet
and
** ** MonoploidChromosomeSet
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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