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

Formal Language: 



KB Term:  Term intersection
English Word: 

  partlyLocated

Sigma KEE - partlyLocated
partlyLocated

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2107-2110
No TPTP formula. May not be expressible in strict first order. Merge.kif 4048-4053
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 758-762
No TPTP formula. May not be expressible in strict first order. Merge.kif 4045-4045 The number 1 argument of partly located is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4046-4046 The number 2 argument of partly located is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4043-4043 partly located is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4042-4042 partly located is an instance of spatial relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4044-4044 partly located is an instance of total valued relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 165-165
No TPTP formula. May not be expressible in strict first order. english_format.kif 166-166
No TPTP formula. May not be expressible in strict first order. french_format.kif 102-102
No TPTP formula. May not be expressible in strict first order. relations-it.txt 214-214
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1931-1931
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 54-54
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 129-129
No TPTP formula. May not be expressible in strict first order. relations-de.txt 203-203
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 252-252
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 121-121
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 103-103
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 406-406
No TPTP formula. May not be expressible in strict first order. Government.kif 2237-2237 agent operates in area is a subrelation of partly located
No TPTP formula. May not be expressible in strict first order. Merge.kif 4073-4073 located is a subrelation of partly located
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 166-166
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44580-44580
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44579-44579
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44578-44578
No TPTP formula. May not be expressible in strict first order. terms-de.txt 63-63

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1727-1733
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2003-2012
No TPTP formula. May not be expressible in strict first order. Merge.kif 4061-4068
No TPTP formula. May not be expressible in strict first order. Merge.kif 4055-4059
No TPTP formula. May not be expressible in strict first order. Weather.kif 148-157
No TPTP formula. May not be expressible in strict first order. Weather.kif 159-165
No TPTP formula. May not be expressible in strict first order. Geography.kif 507-512

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9119-9122 An object is outside to another object if and only if the object is not partly located in the other object
No TPTP formula. May not be expressible in strict first order. Transportation.kif 656-663 A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 3496-3501
No TPTP formula. May not be expressible in strict first order. Geography.kif 507-512
No TPTP formula. May not be expressible in strict first order. Merge.kif 987-989
No TPTP formula. May not be expressible in strict first order. Merge.kif 4092-4094
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 70-78
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 92-99
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1250-1257
No TPTP formula. May not be expressible in strict first order. Geography.kif 1719-1725

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4640-4640 Arctic ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4641-4641 Arctic ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4578-4578 North pacific ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4579-4579 North pacific ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4592-4592 Northeastern Pacific ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4591-4591 Northeastern Pacific ocean is partly located in northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4604-4604 Northwestern Pacific Ocean is partly located in northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4605-4605 Northwestern Pacific Ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4560-4560 South atlantic ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4559-4559 South atlantic ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4618-4618 South pacific ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4619-4619 South pacific ocean is partly located in western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4656-4656 Southern ocean is partly located in eastern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4657-4657 Southern ocean is partly located in western hemisphere


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