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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceProcess
ServiceProcess(service)service

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 12016-12020
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 12014-12014 Service is a subclass of social interaction

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 571-571 Catering is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2159-2159 Check-in service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2192-2192 Check-out service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1877-1877 Child-care service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Merge.kif 12025-12025 Commercial service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2107-2107 Currency exchange is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1815-1815 Dry-clean is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2251-2251 Executive service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1861-1861 Ironing service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1791-1791 Laundry service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2286-2286 Medical service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2137-2137 Photocopying service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1929-1929 Service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1975-1975 Room service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2266-2266 Safety deposit box is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2305-2305 Secretarial service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2093-2093 Tour service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4478-4478 Transportation service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1959-1959 Turndown service is a subclass of service
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 147-147 Valet parking is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2000-2000 Wake-up service is a subclass of service
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52273-52273 Wake-up service is a subclass of service
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52272-52272 Wake-up service is a subclass of service
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52271-52271 Wake-up service is a subclass of service

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24518-24518 The number 1 argument of service provider is an instance of service
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24529-24529 The number 1 argument of service recipient is an instance of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 216-216 The number 2 argument of service amenity in all rooms is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 201-201 The number 2 argument of service amenity in some rooms is a subclass of service

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24537-24542
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24544-24549
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1783-1789

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3102-3114
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3092-3100
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15569-15578


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