Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - serviceProvider
serviceProvider

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22933-22935
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22929-22929 O argumento numero 1 de serviceProvider e' uma instancia de ServiceProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22930-22930 O argumento numero 2 de serviceProvider e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22927-22927 serviceProvider e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22926-22926 serviceProvider e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22932-22932 serviceProvider e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22928-22928 serviceProvider e' uma instancia de IntentionalRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22931-22931 serviceProvider e' uma sub-relacao 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 52277-52277
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52276-52276
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52275-52275

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 3369-3379
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 3485-3491
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 22948-22953
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 14225-14234
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3582-3589


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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