Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 11864-11864 Service is a subclass of social interaction
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. Transportation.kif 3335-3335 Transportation service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Merge.kif 11875-11875 Commercial service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1780-1780 Laundry service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1804-1804 Dry-clean is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1821-1821 Valet laundry is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1850-1850 Ironing service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1866-1866 Child-care service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1918-1918 Service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1948-1948 Turndown service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1964-1964 Room service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1989-1989 Wake-up service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2082-2082 Tour service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2096-2096 Currency exchange is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2126-2126 Photocopying service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2148-2148 Check-in service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2181-2181 Check-out service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2240-2240 Executive service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2255-2255 Safety deposit box is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2275-2275 Medical service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2294-2294 Secretarial service is a subclass of service
No TPTP formula. May not be expressible in strict first order. Dining.kif 571-571 Catering is a subclass of service


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