Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceProcess
ServiceProcess(服务)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3100-3102
No TPTP formula. May not be expressible in strict first order. Merge.kif 11866-11870
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1871-1873
No TPTP formula. May not be expressible in strict first order. Merge.kif 11864-11864 服务 是 社交 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 571-571 CateringService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2148-2148 CheckInService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2181-2181 CheckOutService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1866-1866 ChildCareService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11875-11875 商业服务 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2096-2096 CurrencyExchangeService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1804-1804 DryCleaningService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2240-2240 ExecutiveService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1850-1850 IroningService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1780-1780 LaundryService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2275-2275 MedicalService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2126-2126 PhotocopyingService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1918-1918 RoomCleaningService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1964-1964 RoomService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2255-2255 SafetyDepositService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2294-2294 SecretarialService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2082-2082 TourService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3335-3335 TransportationService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1948-1948 TurndownService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1821-1821 ValetLaundryService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 143-143 ValetParking 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1989-1989 WakeUpService 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52269-52269
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52268-52268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52267-52267

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


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 22888-22888 受服务者 的 1 数量 是 服务 的 instance
No TPTP formula. May not be expressible in strict first order. Hotel.kif 216-216 allRoomsServiceAmenity 的 2 数量 是 服务 的 subclass
No TPTP formula. May not be expressible in strict first order. Hotel.kif 201-201 someRoomsServiceAmenity 的 2 数量 是 服务 的 subclass

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22896-22901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22903-22908
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1772-1778

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3091-3103
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3081-3089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14198-14207


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