TreeView 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 11818-11822
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 11816-11816	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 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 1866-1866	Child-care service is a subclass of service
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11827-11827	Commercial 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 1804-1804	Dry-clean 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 1850-1850	Ironing 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 2275-2275	Medical service 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 1918-1918	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 2255-2255	Safety deposit box 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.	Hotel.kif 2082-2082	Tour service 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.	Hotel.kif 1948-1948	Turndown service 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.	TransportDetail.kif 143-143	Valet parking 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.	domainEnglishFormat.kif 52290-52290
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52289-52289
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52288-52288

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 22958-22958	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 22969-22969	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 22977-22982	If a service is an instance of service, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent provides a service during the service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22984-22989	If a service is an instance of service, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent receives a service during the service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1772-1778	If a service is an instance of service, then there exist a cognitive agent and another cognitive agent such that the cognitive agent provides a service during the service and the other cognitive agent receives a service during the service and the cognitive agent is not equal to the other cognitive agent

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3088-3100	If an agent believes another agent is an attribute and the attribute is an instance of service rating and the other agent is an instance of agent, then there exist a process and another process such that the process is an instance of service and the other agent is an agent of the process and the other process is an instance of classifying and the agent is an agent of the other process and the other process ends up at the process and the attribute is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3078-3086	If a physical is an instance of service rating, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of classifying and the entity ends up at the other entity and the physical is a patient of the entity and the other entity is an instance of service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14068-14077	If a proposition the attribute service contract, then there exist a service, an agreement and the propositionUST such that the service is an instance of service and the service expresses the content of the proposition and the agreement provides a service during the service and the propositionUST receives a service during the service and the agreement is a party to agreement of the proposition and the propositionUST is a party to agreement of the proposition

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

KB Term:			Term intersection

English Word: