Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
serviceProvider
Sigma KEE - serviceProvider
serviceProvider
appearance as argument number 1
(
documentation
serviceProvider
EnglishLanguage
"(
serviceProvider
?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT.")
Mid-level-ontology.kif 22881-22883
(
domain
serviceProvider
1
ServiceProcess
)
Mid-level-ontology.kif 22877-22877
Die Zahl 1 Argument von
serviceProvider
ist ein
fall
von
ServiceProcess
%n{nicht}
(
domain
serviceProvider
2
CognitiveAgent
)
Mid-level-ontology.kif 22878-22878
Die Zahl 2 Argument von
serviceProvider
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
serviceProvider
AsymmetricRelation
)
Mid-level-ontology.kif 22875-22875
serviceProvider
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
serviceProvider
BinaryPredicate
)
Mid-level-ontology.kif 22874-22874
serviceProvider
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
serviceProvider
CaseRole
)
Mid-level-ontology.kif 22880-22880
serviceProvider
ist ein
fall
von
CaseRole
%n{nicht}
(
instance
serviceProvider
IntentionalRelation
)
Mid-level-ontology.kif 22876-22876
serviceProvider
ist ein
fall
von
IntentionalRelation
%n{nicht}
(
subrelation
serviceProvider
agent
)
Mid-level-ontology.kif 22879-22879
serviceProvider
ist eine
teilrelation
von
agent
appearance as argument number 2
(
format
ChineseLanguage
serviceProvider
"%2 %n{doesn't} 在 %1 中提供服务")
chinese_format.kif 233-233
(
format
EnglishLanguage
serviceProvider
"%2 %n{doesn't} provide%p{s} a service during %1")
english_format.kif 234-234
(
format
JapaneseLanguage
serviceProvider
"%2 は %1 の間サービスを provide%p{s} %n{ない}")
japanese_format.kif 1965-1965
(
termFormat
ChineseLanguage
serviceProvider
"服务供应者")
chinese_format.kif 234-234
(
termFormat
ChineseLanguage
serviceProvider
"服务提供者")
domainEnglishFormat.kif 52275-52275
(
termFormat
ChineseTraditionalLanguage
serviceProvider
"服務提供者")
domainEnglishFormat.kif 52274-52274
(
termFormat
EnglishLanguage
serviceProvider
"service provider")
domainEnglishFormat.kif 52273-52273
antecedent
(=>
(
and
(
instance
?X
PhotocopyingService
)
(
serviceProvider
?X ?AGENT))
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
Photocopier
)
(
possesses
?AGENT ?DEVICE)
(
instrument
?X ?DEVICE))))
Hotel.kif 2138-2146
Wenn
ServiceProcess
ist ein
fall
von
PhotocopyingService
%n{nicht} und
serviceProvider
** ServiceProcess
and
CognitiveAgent
,
dann es gibt
Object
um
** Object
ist ein
fall
von
Photocopier
%n{nicht} und
** CognitiveAgent
besitzt
** Object
%n{nicht} und
** Object
ist ein
instrument
fuer
** ServiceProcess
%n{nicht}
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
Wenn
ServiceProcess
ist ein
fall
von
WaterTransportationService
%n{nicht} und
serviceProvider
** ServiceProcess
and
CognitiveAgent
und
CoastalAndGreatLakesFreightTransportation
ist ein
attribut
von
** CognitiveAgent
%n{nicht},
dann es gibt
Process
,
Object
, and und
GeographicArea
um
** Process
ist ein
subProzess
von
** ServiceProcess
und
** Process
ist ein
fall
von
WaterTransportation
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
ist ein
fall
von
CargoShip
%n{nicht} und
eventLocated
** Process
and
** GeographicArea
und
** GeographicArea
ist ein
fall
von
WaterArea
%n{nicht} und
geographicSubregion
** GeographicArea
and
UnitedStates
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesPassengerTransportation
))
(
exists
(?CRUISE ?SHIP ?WATER)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8207-8225
Wenn
ServiceProcess
ist ein
fall
von
WaterTransportationService
%n{nicht} und
serviceProvider
** ServiceProcess
and
CognitiveAgent
und
CoastalAndGreatLakesPassengerTransportation
ist ein
attribut
von
** CognitiveAgent
%n{nicht},
dann es gibt
Process
,
Object
, and und
GeographicArea
um
** Process
ist ein
subProzess
von
** ServiceProcess
und
** Process
ist ein
fall
von
WaterTransportation
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
ist ein
fall
von
PassengerShip
%n{nicht} und
eventLocated
** Process
and
** GeographicArea
und
** GeographicArea
ist ein
fall
von
WaterArea
%n{nicht} und
geographicSubregion
** GeographicArea
and
UnitedStates
und es gibt nicht
Entity
um
** Entity
ist ein
fall
von
ShortSeaPassengerShip
%n{nicht} und
** Object
ist gleich
** Entity
%n{nicht}
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaFreightTransportation
))
(
exists
(?FREIGHT ?SHIP)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT
WorldOcean
))))
naics.kif 8139-8150
Wenn
ServiceProcess
ist ein
fall
von
WaterTransportationService
%n{nicht} und
serviceProvider
** ServiceProcess
and
CognitiveAgent
und
DeepSeaFreightTransportation
ist ein
attribut
von
** CognitiveAgent
%n{nicht},
dann es gibt
Process
und
Object
um
** Process
ist ein
subProzess
von
** ServiceProcess
und
** Process
ist ein
fall
von
WaterTransportation
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
ist ein
fall
von
CargoShip
%n{nicht} und
eventLocated
** Process
and
WorldOcean
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaPassengerTransportation
))
(
exists
(?CRUISE ?SHIP)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE
WorldOcean
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8159-8175
Wenn
ServiceProcess
ist ein
fall
von
WaterTransportationService
%n{nicht} und
serviceProvider
** ServiceProcess
and
CognitiveAgent
und
DeepSeaPassengerTransportation
ist ein
attribut
von
** CognitiveAgent
%n{nicht},
dann es gibt
Process
und
Object
um
** Process
ist ein
subProzess
von
** ServiceProcess
und
** Process
ist ein
fall
von
WaterTransportation
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} und
** Object
ist ein
fall
von
PassengerShip
%n{nicht} und
eventLocated
** Process
and
WorldOcean
und es gibt nicht
Entity
um
** Entity
ist ein
fall
von
ShortSeaPassengerShip
%n{nicht} und
** Object
ist gleich
** Entity
%n{nicht}
consequent
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
Wenn
DeepSeaCoastalAndGreatLakesWaterTransportation
ist ein
attribut
von
CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
TransportationCompany
%n{nicht},
dann es gibt
ServiceProcess
und
Object
um
** ServiceProcess
ist ein
fall
von
WaterTransportationService
%n{nicht} und
serviceProvider
** ServiceProcess
and
** CognitiveAgent
und
eventLocated
** ServiceProcess
and
** Object
und
** Object
ist ein
fall
von
WaterArea
%n{nicht} und
** CognitiveAgent
befindet
sich an %n{nicht}
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
Wenn
TravelerAccommodation
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
RoomCleaningService
zu tun,
dann es gibt
CognitiveAgent
und
Object
um
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
Maid
ist ein
attribut
von
** CognitiveAgent
%n{nicht} und
** Object
ist ein
fall
von
HotelUnit
%n{nicht} und
** Object
ist ein
teil
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
patient
RoomCleaningService
zu tun und
** CognitiveAgent
ist faehig %n{nicht}, in der Rolle
serviceProvider
RoomCleaningService
zu tun
(=>
(
and
(
instance
?AOC
AOCnumber
)
(
instance
?AIRLINE
Airline
)
(
possesses
?AIRLINE ?AOC))
(
confersRight
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))
FederalAviationAdministration
?AIRLINE))
Transportation.kif 3188-3198
Wenn
Object
ist ein
fall
von
AOCnumber
%n{nicht} und
CognitiveAgent
ist ein
fall
von
Airline
%n{nicht} und
** CognitiveAgent
besitzt
** Object
%n{nicht},
dann
FederalAviationAdministration
erlaubt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
um
** entity
ist ein
fall
von
AirTransportationService
%n{nicht} und
serviceProvider
** entity
and
** CognitiveAgent
durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?X
Nursery
)
(
element
?X
(
PropertyFn
?HOTEL))
(
attribute
?HOTEL
TravelerAccommodation
))
(
exists
(?NANNY ?CARE)
(
and
(
attribute
?X
CommunalAttribute
)
(
employs
?HOTEL ?NANNY)
(
hasPurpose
?NANNY
(
and
(
instance
?CARE
ChildCareService
)
(
serviceProvider
?CARE ?NANNY))))))
Hotel.kif 1902-1914
Wenn
Object
ist ein
fall
von
Nursery
%n{nicht} und
** Object
ist ein
element
von
eigentum
von
AutonomousAgent
%n{nicht} und
TravelerAccommodation
ist ein
attribut
von
** AutonomousAgent
%n{nicht},
dann es gibt
CognitiveAgent
und
entity
um
CommunalAttribute
ist ein
attribut
von
** Object
%n{nicht} und
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
hat Zweck von
** entity
ist ein
fall
von
ChildCareService
%n{nicht} und
serviceProvider
** entity
and
** CognitiveAgent
%n{nicht}
(=>
(
capability
ChildCareService
agent
?X)
(
exists
(?SITTER)
(
and
(
employs
?X ?SITTER)
(
capability
ChildCareService
serviceProvider
?SITTER))))
Hotel.kif 1883-1888
Wenn
AutonomousAgent
ist faehig %n{nicht}, in der Rolle
agent
ChildCareService
zu tun,
dann es gibt
CognitiveAgent
um
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist faehig %n{nicht}, in der Rolle
serviceProvider
ChildCareService
zu tun
(=>
(
instance
?AIRLINE
Airline
)
(
hasPurpose
?AIRLINE
(
exists
(?AIR)
(
and
(
instance
?AIR
AirTransportationService
)
(
serviceProvider
?AIR ?AIRLINE)))))
Transportation.kif 3304-3310
Wenn
Physical
ist ein
fall
von
Airline
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
AirTransportationService
%n{nicht} und
serviceProvider
** entity
and
** Physical
%n{nicht}
(=>
(
instance
?CHECK
CheckInService
)
(
exists
(?AGENT ?CUST ?GREET ?SERVICE)
(
and
(
customer
?CUST ?AGENT)
(
serviceProvider
?CHECK ?AGENT)
(
instance
?GREET
Greeting
)
(
agent
?GREET ?CUST)
(
destination
?GREET ?AGENT)
(
subProcess
?GREET ?CHECK)
(
instance
?SERVICE
Process
)
(
agent
?SERVICE ?AGENT)
(
causes
?CHECK ?SERVICE))))
Hotel.kif 2154-2166
Wenn
ServiceProcess
ist ein
fall
von
CheckInService
%n{nicht},
dann es gibt
CognitiveAgent
,
** CognitiveAgent
,, ,
Process
, and und
** Process
um
customer
** ** CognitiveAgent
and
** CognitiveAgent
und
serviceProvider
** ServiceProcess
and
** CognitiveAgent
und
** Process
ist ein
fall
von
Greeting
%n{nicht} und
** Process
ist der
agent
von
** ** CognitiveAgent
%n{nicht} und
** Process
endet an
** CognitiveAgent
%n{nicht} und
** Process
ist ein
subProzess
von
** ServiceProcess
und
** ** Process
ist ein
fall
von
Process
%n{nicht} und
** ** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ServiceProcess
verursacht
** ** Process
%n{nicht}
(=>
(
instance
?EVENT
ServiceProcess
)
(
exists
(?PROVIDER)
(
and
(
instance
?PROVIDER
CognitiveAgent
)
(
serviceProvider
?EVENT ?PROVIDER))))
Mid-level-ontology.kif 22896-22901
Wenn
ServiceProcess
ist ein
fall
von
ServiceProcess
%n{nicht},
dann es gibt
CognitiveAgent
um
** CognitiveAgent
ist ein
fall
von
CognitiveAgent
%n{nicht} und
serviceProvider
** ServiceProcess
and
** CognitiveAgent
(=>
(
instance
?MS
MedicalService
)
(
exists
(?AGENT ?HUMAN ?PROC)
(
and
(
agent
?MS ?AGENT)
(
employs
?AGENT ?HUMAN)
(
attribute
?HUMAN
MedicalDoctor
)
(
serviceProvider
?MS ?HUMAN)
(
or
(
instance
?PROC
TherapeuticProcess
)
(
instance
?PROC
DiagnosticProcess
))
(
subProcess
?PROC ?MS))))
Hotel.kif 2281-2292
Wenn
ServiceProcess
ist ein
fall
von
MedicalService
%n{nicht},
dann es gibt
AutonomousAgent
,
CognitiveAgent
, and und
Process
um
** ServiceProcess
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
MedicalDoctor
ist ein
attribut
von
** CognitiveAgent
%n{nicht} und
serviceProvider
** ServiceProcess
and
** CognitiveAgent
und
** Process
ist ein
fall
von
TherapeuticProcess
%n{nicht} oder
** Process
ist ein
fall
von
DiagnosticProcess
%n{nicht} und
** Process
ist ein
subProzess
von
** ServiceProcess
(=>
(
instance
?SVC
ChildCareService
)
(
exists
(?CHILD ?SITTER)
(
and
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
))
(
serviceProvider
?SVC ?SITTER)
(
patient
?SVC ?CHILD)
(
not
(
parent
?CHILD ?SITTER)))))
Hotel.kif 1872-1881
Wenn
ServiceProcess
ist ein
fall
von
ChildCareService
%n{nicht},
dann es gibt
Organism
und
** Organism
um
** Organism
ist ein
fall
von
HumanChild
%n{nicht} oder
** Organism
ist ein
fall
von
HumanBaby
%n{nicht} und
serviceProvider
** ServiceProcess
and
** ** Organism
und
** Organism
ist ein
patient
von
** ServiceProcess
%n{nicht} und
** ** Organism
ist das
elterntiel
von
** Organism
nicht
(=>
(
instance
?SVC
SafetyDepositService
)
(
exists
(?SAFE ?KEEP ?OBJ ?AGENT)
(
and
(
serviceProvider
?SVC ?AGENT)
(
instance
?SAFE
SafeContainer
)
(
instance
?KEEP
Keeping
)
(
located
?KEEP ?SAFE)
(
possesses
?AGENT ?SAFE)
(
patient
?KEEP ?OBJ)
(
subProcess
?KEEP ?SVC)
(
not
(
possesses
?AGENT ?OBJ)))))
Hotel.kif 2262-2273
Wenn
ServiceProcess
ist ein
fall
von
SafetyDepositService
%n{nicht},
dann es gibt
Object
,
Process
,, ,
** Object
, and und
CognitiveAgent
um
serviceProvider
** ServiceProcess
and
** CognitiveAgent
und
** Object
ist ein
fall
von
SafeContainer
%n{nicht} und
** Process
ist ein
fall
von
Keeping
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
** CognitiveAgent
besitzt
** Object
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist ein
subProzess
von
** ServiceProcess
und
** CognitiveAgent
besitzt
** ** Object
nicht
(=>
(
instance
?X
RoomCleaningService
)
(
exists
(?MAID ?PLACE ?CLEAN)
(
and
(
attribute
?MAID
Maid
)
(
serviceProvider
?X ?MAID)
(
located
?X ?PLACE)
(
subProcess
?CLEAN ?X)
(
instance
?CLEAN
Cleaning
)
(
patient
?CLEAN ?PLACE)
(
agent
?CLEAN ?MAID))))
Hotel.kif 1923-1933
Wenn
ServiceProcess
ist ein
fall
von
RoomCleaningService
%n{nicht},
dann es gibt
CognitiveAgent
,
Object
, and und
Process
um
Maid
ist ein
attribut
von
** CognitiveAgent
%n{nicht} und
serviceProvider
** ServiceProcess
and
** CognitiveAgent
und
** ServiceProcess
befindet
sich an %n{nicht} und
** Process
ist ein
subProzess
von
** ServiceProcess
und
** Process
ist ein
fall
von
Cleaning
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht}
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2300-2307
Wenn
ServiceProcess
ist ein
fall
von
SecretarialService
%n{nicht},
dann es gibt
CognitiveAgent
,
** CognitiveAgent
, and und
** CognitiveAgent
um
serviceProvider
** ServiceProcess
and
** CognitiveAgent
und
serviceRecipient
** ServiceProcess
and
** ** CognitiveAgent
und
** CognitiveAgent
beschaeftigt
** ** CognitiveAgent
%n{nicht} und
ClericalSecretary
ist ein
attribut
von
** ** CognitiveAgent
%n{nicht}
(=>
(
instance
?X
ServiceProcess
)
(
exists
(?AGENT ?CUST)
(
and
(
serviceProvider
?X ?AGENT)
(
serviceRecipient
?X ?CUST)
(
not
(
equal
?AGENT ?CUST)))))
Hotel.kif 1772-1778
Wenn
ServiceProcess
ist ein
fall
von
ServiceProcess
%n{nicht},
dann es gibt
CognitiveAgent
und
** CognitiveAgent
um
serviceProvider
** ServiceProcess
and
** CognitiveAgent
und
serviceRecipient
** ServiceProcess
and
** ** CognitiveAgent
und
** CognitiveAgent
ist gleich
** ** CognitiveAgent
nicht
(=>
(
property
?C
ServiceContract
)
(
exists
(?SP ?SERVICE ?CUST)
(
and
(
instance
?SP
ServiceProcess
)
(
realization
?SP ?C)
(
serviceProvider
?SP ?SERVICE)
(
serviceRecipient
?SP ?CUST)
(
partyToAgreement
?C ?SERVICE)
(
partyToAgreement
?C ?CUST))))
Mid-level-ontology.kif 14198-14207
Wenn
Proposition
hat ein
attribut
ServiceContract
%n{nicht},
dann es gibt
ServiceProcess
,
Agreement
, and und
** Proposition
UST um
** ServiceProcess
ist ein
fall
von
ServiceProcess
%n{nicht} und
** ServiceProcess
druekt den Inhalt von
** Proposition
aus und
serviceProvider
** ServiceProcess
and
** Agreement
und
serviceRecipient
** ServiceProcess
and
** Proposition
UST und
partyToAgreement
** Proposition
and
** Agreement
und
partyToAgreement
** Proposition
and
** Proposition
UST
(=>
(
providesDestination
?TC ?REG)
(
modalAttribute
(
exists
(?SVC)
(
and
(
instance
?SVC
TransportationService
)
(
serviceProvider
?SVC ?TC)
(
destination
?SVC ?REG)))
Possibility
))
Transportation.kif 3401-3408
Wenn
providesDestination
TransportationCompany
and
Region
,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
TransportationService
%n{nicht} und
serviceProvider
** entity
and
** TransportationCompany
und
** entity
endet an
** Region
%n{nicht} hat die modale Kraft von
Possibility
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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