ServiceProcess - Sigma Knowledge base Browser

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	子類服務 and SocialInteraction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 571-571	子類 CateringService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2148-2148	子類 CheckInService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2181-2181	子類 CheckOutService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1866-1866	子類 ChildCareService and 服務
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11875-11875	子類商業服務 and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2096-2096	子類 CurrencyExchangeService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1804-1804	子類 DryCleaningService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2240-2240	子類 ExecutiveService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1850-1850	子類 IroningService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1780-1780	子類 LaundryService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2275-2275	子類 MedicalService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2126-2126	子類 PhotocopyingService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1918-1918	子類 RoomCleaningService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1964-1964	子類 RoomService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2255-2255	子類 SafetyDepositService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2294-2294	子類 SecretarialService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2082-2082	子類 TourService and 服務
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3335-3335	子類 TransportationService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1948-1948	子類 TurndownService and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1821-1821	子類 ValetLaundryService and 服務
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 143-143	子類 ValetParking and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1989-1989	子類 WakeUpService and 服務
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 and 服務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22888-22888	域服務接收者, 1 and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 216-216	域子類 allRoomsServiceAmenity, 2 and 服務
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 201-201	域子類 someRoomsServiceAmenity, 2 and 服務

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22896-22901	例服務 and 服務 CognitiveAgent 例 CognitiveAgent and CognitiveAgent 服務提供者服務 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22903-22908	例服務 and 服務 CognitiveAgent 例 CognitiveAgent and CognitiveAgent 服務接收者服務 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1772-1778	例服務 and 服務 CognitiveAgent CognitiveAgent 服務提供者服務 and CognitiveAgent 服務接收者服務 and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3091-3103	AutonomousAgent believes AutonomousAgent 是 Attribute 例 Attribute and ServiceRating 例 AutonomousAgent and AutonomousAgent Process Process 例 Process and 服務 agent Process and AutonomousAgent 例 Process and Classifying agent Process and AutonomousAgent 目的地 Process and Process 患者 Process and Attribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3081-3089	例 Physical and ServiceRating 有目的 Physical and entity entity 例 entity and Classifying 目的地 entity and entity 患者 entity and Physical 例 entity and 服務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14198-14207	屬性 Proposition and 服務合同服務協議 and PropositionUST 例服務 and 服務實現服務 and Proposition 服務提供者服務 and 協議服務接收者服務 and PropositionUST 協議是 Proposition 的 party 協議 PropositionUST 是 Proposition 的 party 協議

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

KB Term:			Term intersection

English Word: