serviceProvider - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - serviceProvider

serviceProvider

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22881-22883
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22877-22877	服务供应者的 1 数量是服务的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22878-22878	服务供应者的 2 数量是有认知的主事的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22875-22875	服务供应者是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22874-22874	服务供应者是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22880-22880	服务供应者是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22876-22876	服务供应者是有意图的关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22879-22879	服务供应者是主事的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 233-233
No TPTP formula. May not be expressible in strict first order.	english_format.kif 234-234
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1965-1965
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 234-234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52275-52275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52274-52274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52273-52273

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2138-2146	如果服务是 PhotocopyingService 的 instance 和有认知的主事在那个服务中提供服务，然后有存在客体这样那个客体是 Photocopier 的 instance 和那个有认知的主事 possesses 那个客体和那个客体是导致那个服务的 instrument
No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	如果服务是 WaterTransportationService 的 instance 和有认知的主事在那个服务中提供服务和沿海和大湖泊货运是那个有认知的主事的 attribute，然后有存在过程，客体， and 和地理区域这样那个过程%n是那个服务的subProcess 和那个过程是水运的 instance 和那个客体是导致那个过程的 instrument 和那个客体是货船的 instance 和那个过程是 located 在那个地理区域和那个地理区域是水域的 instance 和那个地理区域是美国的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	如果服务是 WaterTransportationService 的 instance 和有认知的主事在那个服务中提供服务和沿海和大湖泊客运是那个有认知的主事的 attribute，然后有存在过程，客体， and 和地理区域这样那个过程%n是那个服务的subProcess 和那个过程是水运的 instance 和那个客体是导致那个过程的 instrument 和那个客体是客船的 instance 和那个过程是 located 在那个地理区域和那个地理区域是水域的 instance 和那个地理区域是美国的 geographic 次要地区和不存在另一个实体这样那个另外实体是近海客船的 instance 和那个客体 equal 那个另外实体
No TPTP formula. May not be expressible in strict first order.	naics.kif 8139-8150	如果服务是 WaterTransportationService 的 instance 和有认知的主事在那个服务中提供服务和深海货运是那个有认知的主事的 attribute，然后有存在过程和客体这样那个过程%n是那个服务的subProcess 和那个过程是水运的 instance 和那个客体是导致那个过程的 instrument 和那个客体是货船的 instance 和那个过程是 located 在世界海洋
No TPTP formula. May not be expressible in strict first order.	naics.kif 8159-8175	如果服务是 WaterTransportationService 的 instance 和有认知的主事在那个服务中提供服务和深海客运是那个有认知的主事的 attribute，然后有存在过程和客体这样那个过程%n是那个服务的subProcess 和那个过程是水运的 instance 和那个客体是导致那个过程的 instrument 和那个客体是客船的 instance 和那个过程是 located 在世界海洋和不存在另一个实体这样那个另外实体是近海客船的 instance 和那个客体 equal 那个另外实体

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8120-8130	如果深海沿岸和大湖泊水运是有认知的主事的 attribute 和那个有认知的主事是运输公司的 instance，然后有存在服务和客体这样那个服务是 WaterTransportationService 的 instance 和那个有认知的主事在那个服务中提供服务和那个服务是 located 在那个客体和那个客体是水域的 instance 和那个有认知的主事是 located 在北美
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	如果旅客住宿是施事体的 attribute 和那个施事体能够担当主事的角色做 RoomCleaningService，然后有存在有认知的主事和客体这样那个施事体 employs 那个有认知的主事和女佣是那个有认知的主事的 attribute 和那个客体是 HotelUnit 的 instance 和那个客体是那个施事体的财产的 part 和那个客体能够担当受事的角色做 RoomCleaningService 和那个有认知的主事能够担当服务供应者的角色做 RoomCleaningService
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3188-3198	如果客体是 AOCnumber 的 instance 和有认知的主事是 Airline 的 instance 和那个有认知的主事 possesses 那个客体，然后 FederalAviationAdministration 允许那个有认知的主事执行有存在实体这样那个实体是 AirTransportationService 的 instance 和那个有认知的主事在那个实体中提供服务的任务
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	如果客体是 Nursery 的 instance 和那个客体是施事体的财产的 element 和旅客住宿是那个施事体的 attribute，然后有存在有认知的主事和实体这样 CommunalAttribute 是那个客体的 attribute 和那个施事体 employs 那个有认知的主事和那个有认知的主事的目的是那个实体是 ChildCareService 的 instance 和那个有认知的主事在那个实体中提供服务
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1883-1888	如果施事体能够担当主事的角色做 ChildCareService，然后有存在有认知的主事这样那个施事体 employs 那个有认知的主事和那个有认知的主事能够担当服务供应者的角色做 ChildCareService
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3304-3310	如果物理是 Airline 的 instance，然后那个物理的目的是有存在实体这样那个实体是 AirTransportationService 的 instance 和那个物理在那个实体中提供服务
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2154-2166	如果服务是 CheckInService 的 instance，然后有存在有认知的主事，另一个有认知的主事,，，过程， and 和另一个过程这样那个有认知的主事是那个另外有认知的主事的 customer 和那个有认知的主事在那个服务中提供服务和那个过程是欢迎的 instance 和那个另外有认知的主事是那个过程的 agent 和那个过程在那个有认知的主事结束和那个过程%n是那个服务的subProcess 和那个另外过程是过程的 instance 和那个有认知的主事是那个另外过程的 agent 和那个服务 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22896-22901	如果服务是服务的 instance，然后有存在有认知的主事这样那个有认知的主事是有认知的主事的 instance 和那个有认知的主事在那个服务中提供服务
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	如果服务是 MedicalService 的 instance，然后有存在施事体，有认知的主事， and 和过程这样那个施事体是那个服务的 agent 和那个施事体 employs 那个有认知的主事和医生是那个有认知的主事的 attribute 和那个有认知的主事在那个服务中提供服务和那个过程是治疗过程的 instance 或那个过程是诊断过程的 instance 和那个过程%n是那个服务的subProcess
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1872-1881	如果服务是 ChildCareService 的 instance，然后有存在生物和另一个生物这样那个生物是人类的孩子的 instance 或那个生物是人类宝贝的 instance 和那个另外生物在那个服务中提供服务和那个生物是那个服务的 patient 和那个另外生物不是那个生物的 parent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2262-2273	如果服务是 SafetyDepositService 的 instance，然后有存在客体，过程,，，另一个客体， and 和有认知的主事这样那个有认知的主事在那个服务中提供服务和那个客体是安全的容器的 instance 和那个过程是保存的 instance 和那个过程是 located 在那个客体和那个有认知的主事 possesses 那个客体和那个另外客体是那个过程的 patient 和那个过程%n是那个服务的subProcess 和那个有认知的主事 doesn't possesses 那个另外客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1923-1933	如果服务是 RoomCleaningService 的 instance，然后有存在有认知的主事，客体， and 和过程这样女佣是那个有认知的主事的 attribute 和那个有认知的主事在那个服务中提供服务和那个服务是 located 在那个客体和那个过程%n是那个服务的subProcess 和那个过程是清洁的的 instance 和那个客体是那个过程的 patient 和那个有认知的主事是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2300-2307	如果服务是 SecretarialService 的 instance，然后有存在有认知的主事，另一个有认知的主事， and 和第三有认知的主事这样那个有认知的主事在那个服务中提供服务和那个另外有认知的主事在那个服务中获得服务和那个有认知的主事 employs 那个第三有认知的主事和文书秘书是那个第三有认知的主事的 attribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1772-1778	如果服务是服务的 instance，然后有存在有认知的主事和另一个有认知的主事这样那个有认知的主事在那个服务中提供服务和那个另外有认知的主事在那个服务中获得服务和那个有认知的主事不 equal 那个另外有认知的主事
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14198-14207	如果命题有服务合同的 attribute，然后有存在服务，协议， and 和那个命题UST 这样那个服务是服务的 instance 和那个服务表示那个命题的内容和那个协议在那个服务中提供服务和那个命题UST 在那个服务中获得服务和那个协议是那个命题的 party 协议和那个命题UST 是那个命题的 party 协议
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3401-3408	如果运输公司 provides transportation 對於地区，然后有存在实体这样那个实体是 TransportationService 的 instance 和那个运输公司在那个实体中提供服务和那个实体在那个地区结束的声明 has 可能性的语气

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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