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

Formal Language: 



KB Term:  Term intersection
English Word: 

  employs

Sigma KEE - employs
employs

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3725-3726
No TPTP formula. May not be expressible in strict first order. Merge.kif 16365-16368
No TPTP formula. May not be expressible in strict first order. Merge.kif 16363-16363 The number 1 argument of employs is an instance of agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16364-16364 The number 2 argument of employs is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 16362-16362 employs is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 547-547
No TPTP formula. May not be expressible in strict first order. english_format.kif 552-552
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21999-21999
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 548-548
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21998-21998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21997-21997

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3267-3273 An agent employs an agreement if and only if there exists a cognitive agent such that the cognitive agent the attribute employment and the agent is a party to agreement of the cognitive agent and the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17001-17009 An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Government.kif 2212-2216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19939-19960
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2365-2380
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1497-1510
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1179-1184
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1191-1206
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3594-3605
No TPTP formula. May not be expressible in strict first order. Merge.kif 17029-17032

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3639-3646 A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
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. Government.kif 4478-4482
No TPTP formula. May not be expressible in strict first order. Government.kif 4484-4488
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 171-177
No TPTP formula. May not be expressible in strict first order. Merge.kif 10628-10636
No TPTP formula. May not be expressible in strict first order. Merge.kif 10612-10620
No TPTP formula. May not be expressible in strict first order. Merge.kif 10508-10517
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16355-16362
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. Government.kif 4606-4611
No TPTP formula. May not be expressible in strict first order. Government.kif 4599-4604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20335-20341
No TPTP formula. May not be expressible in strict first order. naics.kif 11934-11946
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. Mid-level-ontology.kif 16278-16283
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3363-3370
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21890-21895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22408-22417
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3052-3060
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. Mid-level-ontology.kif 8147-8160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22002-22016
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. Mid-level-ontology.kif 16411-16413

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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