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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - policyOwner
policyOwner

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25005-25005
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25008-25008 The number 1 argument of policy owner is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25009-25009 The number 2 argument of policy owner is an instance of policy
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25004-25004 policy owner is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1044-1044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25006-25006 "policy owner" is the printable form of policy owner in english language

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


No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 869-884
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 887-902
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 980-995
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1106-1124
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1179-1194
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 946-955
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1156-1174
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1084-1101
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 959-975
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 808-823
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1244-1256
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 849-861
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 832-844
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2476-2494
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2595-2615
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2567-2576
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2622-2638
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2518-2527
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2534-2543
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2502-2511
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2551-2560
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2645-2660
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1212-1227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25013-25019

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1264-1274
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2583-2588
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24999-25002
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1284-1291
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 254-264


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners