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 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 22878-22878 The number 2 argument of service provider is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22875-22875 service provider is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22874-22874 service provider is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22880-22880 service provider is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22876-22876 service provider is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22879-22879 service provider is a subrelation of 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
No TPTP formula. May not be expressible in strict first order. naics.kif 8184-8197
No TPTP formula. May not be expressible in strict first order. naics.kif 8207-8225
No TPTP formula. May not be expressible in strict first order. naics.kif 8139-8150
No TPTP formula. May not be expressible in strict first order. naics.kif 8159-8175

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8120-8130
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3188-3198
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1902-1914
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1883-1888
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3304-3310
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2154-2166
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22896-22901
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2281-2292
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1872-1881
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2262-2273
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1923-1933
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2300-2307
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1772-1778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14198-14207
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3401-3408


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