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 22328-22330
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 22325-22325 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 22322-22322 service provider is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22321-22321 service provider is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22327-22327 service provider is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22323-22323 service provider is an instance of intentional relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22326-22326 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. chinese_format.kif 234-234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52258-52258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52257-52257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52256-52256

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2111-2119
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 1910-1921
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3195-3205
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1877-1889
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1858-1863
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3311-3317
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2127-2139
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. Hotel.kif 2254-2265
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1847-1856
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2235-2246
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1898-1908
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2273-2280
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1747-1753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13668-13677
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3408-3415


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