(=>     (and         (weaponCarryingCapability ?MV ?WC ?COUNT)         (instance ?WEAPON ?WC)         (capability ?PC ?ROLE ?WEAPON)         (or             (subclass ?PC Shooting)             (subclass ?PC Damaging)))     (capability ?PC ?ROLE ?MV))	MilitaryDevices.kif 35-43	weaponCarryingCapability MilitaryVehicle, 武器 and 正の整数 オブジェクト は 武器 の instance では %n オブジェクト は 工程 を 格役割 として行う capable では %n 工程 は 射撃 の subclass では %n 工程 は 損害を与える の subclass では %n MilitaryVehicle は 工程 を 格役割 として行う capable では %n
(=>     (or         (attribute ?AGENT Asleep)         (attribute ?AGENT Awake))     (attribute ?AGENT Living))	Merge.kif 18344-18348	眠っている は オブジェクト の attribute では %n 起きている は オブジェクト の attribute では %n Living は オブジェクト の attribute では %n
(=>     (or         (before ?POINT1 ?POINT2)         (equal ?POINT1 ?POINT2))     (beforeOrEqual ?POINT1 ?POINT2))	Merge.kif 8151-8155	時点 は 時点 の before に happens %n{ない} 時点 は 時点 と equal では %n 時点 は 時点 でもその前でも happens %n{ない}
(=>     (or         (equal ?DIRECTION North)         (equal ?DIRECTION South))     (length         (LatitudeFn ?DIRECTION             (MeasureFn 0.0 AngularDegree)             (MeasureFn 1.0 ArcMinute)             (MeasureFn 0.0 ArcSecond))         (MeasureFn 1.0 NauticalMile)))	Geography.kif 433-440	方向属性 は North と equal では %n 方向属性 は South と equal では %n LatitudeFn 方向属性, 0.0 の AngularDegree(s), 1.0 の ArcMinute(s) and 0.0 の ArcSecond(s) の length は 1.0 の NauticalMile(s) では

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