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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ServiceProcess

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 11705-11709
No TPTP formula. May not be expressible in strict first order. Merge.kif 11703-11703 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 526-526 Catering is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2121-2121 Check-in service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2154-2154 Check-out service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1841-1841 Child-care service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Merge.kif 11714-11714 Commercial service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2071-2071 Currency exchange is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1779-1779 Dry-clean is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2213-2213 Executive service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1825-1825 Ironing service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1755-1755 Laundry service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2248-2248 Medical service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2099-2099 Photocopying service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1893-1893 Service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1939-1939 Room service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2228-2228 Safety deposit box is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2267-2267 Secretarial service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2057-2057 Tour service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3342-3342 Transportation service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1923-1923 Turndown service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1796-1796 Valet laundry is a subclass of service
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 143-143 Valet parking is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1964-1964 Wake-up service is a subclass of service
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52252-52252
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52251-52251
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52250-52250

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 22324-22324 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 22335-22335 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 211-211 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 196-196 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 22343-22348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22350-22355
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1747-1753

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 3053-3065
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3044-3051
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13668-13677


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