TreeView Knowledge Base Browser - serviceProvider

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

serviceProvider

Sigma KEE - serviceProvider

serviceProvider

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22881-22883
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22877-22877	Le nombre 1 argument de serviceProvider est une instance de ServiceProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22878-22878	Le nombre 2 argument de serviceProvider est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22875-22875	serviceProvider est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22874-22874	serviceProvider est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22880-22880	serviceProvider est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22876-22876	serviceProvider est une instance de IntentionalRelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22879-22879	serviceProvider est une sous-relation de agent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 233-233
No TPTP formula. May not be expressible in strict first order.	english_format.kif 234-234
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1965-1965
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 234-234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52275-52275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52274-52274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52273-52273

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2138-2146	ServiceProcess est une instance de PhotocopyingService serviceProvider ServiceProcess and agent cognitif objet objet est une instance de Photocopier agent cognitif poss�de objet objet est un instrument pour ServiceProcess
No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	ServiceProcess est une instance de WaterTransportationService serviceProvider ServiceProcess and agent cognitif CoastalAndGreatLakesFreightTransportation est un attribut de agent cognitif processus objet and secteur g�ographique processus est un sous-processus de ServiceProcess processus est une instance de WaterTransportation objet est un instrument pour processus objet est une instance de CargoShip eventLocated processus and secteur g�ographique secteur g�ographique est une instance de plan d'eau geographicSubregion secteur g�ographique and UnitedStates
No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	ServiceProcess est une instance de WaterTransportationService serviceProvider ServiceProcess and agent cognitif CoastalAndGreatLakesPassengerTransportation est un attribut de agent cognitif processus objet and secteur g�ographique processus est un sous-processus de ServiceProcess processus est une instance de WaterTransportation objet est un instrument pour processus objet est une instance de PassengerShip eventLocated processus and secteur g�ographique secteur g�ographique est une instance de plan d'eau geographicSubregion secteur g�ographique and UnitedStates entit� entit� est une instance de ShortSeaPassengerShip objet est entit�
No TPTP formula. May not be expressible in strict first order.	naics.kif 8139-8150	ServiceProcess est une instance de WaterTransportationService serviceProvider ServiceProcess and agent cognitif DeepSeaFreightTransportation est un attribut de agent cognitif processus objet processus est un sous-processus de ServiceProcess processus est une instance de WaterTransportation objet est un instrument pour processus objet est une instance de CargoShip eventLocated processus and WorldOcean
No TPTP formula. May not be expressible in strict first order.	naics.kif 8159-8175	ServiceProcess est une instance de WaterTransportationService serviceProvider ServiceProcess and agent cognitif DeepSeaPassengerTransportation est un attribut de agent cognitif processus objet processus est un sous-processus de ServiceProcess processus est une instance de WaterTransportation objet est un instrument pour processus objet est une instance de PassengerShip eventLocated processus and WorldOcean entit� entit� est une instance de ShortSeaPassengerShip objet est entit�

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8120-8130	DeepSeaCoastalAndGreatLakesWaterTransportation est un attribut de agent cognitif agent cognitif est une instance de TransportationCompany ServiceProcess objet ServiceProcess est une instance de WaterTransportationService serviceProvider ServiceProcess and agent cognitif eventLocated ServiceProcess and objet objet est une instance de plan d'eau agent cognitif est situ� � NorthAmerica
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation est un attribut de AutonomousAgent AutonomousAgent est capable de faire RoomCleaningService dans le r�le agent agent cognitif objet AutonomousAgent emploie agent cognitif Maid est un attribut de agent cognitif objet est une instance de HotelUnit objet est une partie de appartenir � AutonomousAgent objet est capable de faire RoomCleaningService dans le r�le patient agent cognitif est capable de faire RoomCleaningService dans le r�le serviceProvider
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3188-3198	Objet est une instance de AOCnumber agent cognitif est une instance de Airline agent cognitif poss�de objet FederalAviationAdministration autorise agent cognitif � ex�cut� des t�ches du type entit� entit� est une instance de AirTransportationService serviceProvider entit� and agent cognitif
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1902-1914	Objet est une instance de Nursery objet est un appartenir � AutonomousAgent TravelerAccommodation est un attribut de AutonomousAgent agent cognitif entit� CommunalAttribute est un attribut de objet AutonomousAgent emploie agent cognitif agent cognitif a pour but entit� est une instance de ChildCareService serviceProvider entit� and agent cognitif
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1883-1888	AutonomousAgent est capable de faire ChildCareService dans le r�le agent agent cognitif AutonomousAgent emploie agent cognitif agent cognitif est capable de faire ChildCareService dans le r�le serviceProvider
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3304-3310	Physique est une instance de Airline physique a pour but entit� entit� est une instance de AirTransportationService serviceProvider entit� and physique
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2154-2166	ServiceProcess est une instance de CheckInService agent cognitif agent cognitif, processus and processus customer agent cognitif and agent cognitif serviceProvider ServiceProcess and agent cognitif processus est une instance de Greeting processus est un agent de agent cognitif processus aboutit � agent cognitif processus est un sous-processus de ServiceProcess processus est une instance de processus processus est un agent de agent cognitif ServiceProcess cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22896-22901	ServiceProcess est une instance de ServiceProcess agent cognitif agent cognitif est une instance de agent cognitif serviceProvider ServiceProcess and agent cognitif
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	ServiceProcess est une instance de MedicalService AutonomousAgent agent cognitif and processus ServiceProcess est un agent de AutonomousAgent AutonomousAgent emploie agent cognitif MedicalDoctor est un attribut de agent cognitif serviceProvider ServiceProcess and agent cognitif processus est une instance de processus therapeutique processus est une instance de processus de diagnostique processus est un sous-processus de ServiceProcess
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1872-1881	ServiceProcess est une instance de ChildCareService organisme organisme organisme est une instance de HumanChild organisme est une instance de HumanBaby serviceProvider ServiceProcess and organisme organisme est un patient de ServiceProcess organisme est un parent de organisme
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2262-2273	ServiceProcess est une instance de SafetyDepositService objet processus, objet and agent cognitif serviceProvider ServiceProcess and agent cognitif objet est une instance de SafeContainer processus est une instance de garder processus est situ� � objet agent cognitif poss�de objet objet est un patient de processus processus est un sous-processus de ServiceProcess agent cognitif ne poss�de %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1923-1933	ServiceProcess est une instance de RoomCleaningService agent cognitif objet and processus Maid est un attribut de agent cognitif serviceProvider ServiceProcess and agent cognitif ServiceProcess est situ� � objet processus est un sous-processus de ServiceProcess processus est une instance de Cleaning objet est un patient de processus processus est un agent de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2300-2307	ServiceProcess est une instance de SecretarialService agent cognitif agent cognitif and agent cognitif serviceProvider ServiceProcess and agent cognitif serviceRecipient ServiceProcess and agent cognitif agent cognitif emploie agent cognitif ClericalSecretary est un attribut de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1772-1778	ServiceProcess est une instance de ServiceProcess agent cognitif agent cognitif serviceProvider ServiceProcess and agent cognitif serviceRecipient ServiceProcess and agent cognitif agent cognitif est agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14198-14207	Proposition a un attribute ServiceContract ServiceProcess Agreement and proposition UST ServiceProcess est une instance de ServiceProcess ServiceProcess exprime le contenu de proposition serviceProvider ServiceProcess and Agreement serviceRecipient ServiceProcess and proposition UST partyToAgreement proposition and Agreement partyToAgreement proposition and proposition UST
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3401-3408	providesDestination TransportationCompany and r�gion l'argument entit� entit� est une instance de TransportationService serviceProvider entit� and TransportationCompany entit� aboutit � r�gion a la force modale de Possibility

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