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

Formal Language: 



KB Term:  Term intersection
English Word: 

  serviceRecipient

 Sigma KEE - serviceRecipient
serviceRecipient

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22892-22894
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22888-22888 域 服務接收者, 1 and 服務
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22889-22889 域 服務接收者, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22886-22886 例 服務接收者 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22885-22885 例 服務接收者 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22891-22891 例 服務接收者 and CaseRole
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22887-22887 例 服務接收者 and 有意圖的關係
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22890-22890 子關係 服務接收者 and 體驗者

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 235-235
No TPTP formula. May not be expressible in strict first order. english_format.kif 236-236
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1966-1966
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 236-236
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52281-52281
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52280-52280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52279-52279

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22903-22908
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2245-2252
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


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