TreeView Knowledge Base Browser - Outside

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Outside

Outside(外)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9107-9109
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9105-9105	外是位置属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9106-9106	内是外的相反
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43722-43722
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43721-43721
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43720-43720

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9119-9122	客体在另一个客体的外若且唯若那个客体不是 partlyLocated 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	如果客体在地区的外和另一个客体是那个地区的 perimeter 地区的 instance 和那个另外客体是均匀的周边区域的 instance 和那个另外客体的 width 是实数测量单位和那个客体和那个地区的 distance 是另一个实数那个测量单位和那个测量单位是测量单位的 instance 和 (那个另外实数和那个实数) 是 greaterThan 0.0，然后那个客体不是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	如果客体在地区的外和另一个客体是那个地区的 perimeter 地区的 instance 和那个另外客体是均匀的周边区域的 instance 和那个另外客体的 width 是实数测量单位和那个客体和那个地区的 distance 是另一个实数那个测量单位和那个测量单位是测量单位的 instance 和 (那个另外实数和那个实数) 是 lessThanOrEqualTo 0.0，然后那个客体是 located 在那个另外客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	如果一个在客体的人 can see 有点物理和那个客体是房间的 instance 和另一个客体是有点物理的 instance 和那个另外客体在那个客体的外，然后有存在实体和另一个实体这样那个实体是人类的 instance 和那个实体是 located 在那个客体和那个另外实体是看的 instance 和那个另外客体是那个另外实体的 patient 和那个实体是那个另外实体的 agent 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9111-9113	如果客体在另一个客体的外，然后那个另外客体是地区的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	如果凹是自身连接物体的 attribute 和那个自身连接物体是另一个自身连接物体的 surface 和客体是那个另外自身连接物体的 part 和另一个客体是那个另外自身连接物体的 part 和第三客体 equal 那个客体和那个另外客体之间线路和那个客体不 equal 那个另外客体和第四客体是那个第三客体的 part，然后那个第四客体在那个自身连接物体的外
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	如果转移是 Thoracentesis 的 instance 和客体是那个转移的 patient，然后有存在另一个转移，另一个客体,，，那个另外转移N,，，第四客体,，，第五客体， and 和第六客体这样那个另外转移是插入的 instance 和那个另外转移%n是那个转移的subProcess 和 objectTransferred 那个另外转移 and 第七客体和那个另外客体是那个另外转移的源头和那个另外转移在那个另外转移N 结束和那个第七客体是 Needle 的 instance 和流体是那个第六客体的 attribute 和 objectTransferred 那个转移 and 那个第六客体和那个第六客体在那个另外客体结束和那个第四客体是肺的 instance 和那个第五客体是 Chest 的 instance 和那个第四客体是那个客体的 part 和那个第五客体是那个客体的 part 和那个另外转移N 是那个转移的源头和那个转移在那个另外客体结束和那个另外转移N 是在那个第四客体和那个第五客体 between 和那个另外客体在那个客体的外
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	如果客体是 VentedChestSeal 的 instance 和转移是连接的 instance 和 objectTransferred 那个转移 and 那个客体和那个转移在实体结束，然后那个客体的目的是有存在那个转移，另一个实体,，，第三实体， and 和那个实体这样那个转移是空气的 instance 和那个另外实体是肺的 instance 和那个第三实体是 Chest 的 instance 和那个另外实体是那个实体的 part 和那个第三实体是那个实体的 part 和那个转移是在那个另外实体和那个第三实体 between 在紧接那个转移出现的 time before holdsDuring 和那个客体的目的是那个转移在那个实体的外在紧接那个转移出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1057-1065	如果 DownAndInRoom 是客体的 attribute，然后有存在另一个客体和第三客体这样那个第三客体是在室内的 instance 和那个另外客体是地区的 instance 和那个另外客体在那个客体的邻和那个另外客体在那个客体的外和那个另外客体是 located 在那个第三客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1072-1080	如果 DownAndOutRoom 是客体的 attribute，然后有存在另一个客体和第三客体这样那个第三客体是在户外的 instance 和那个另外客体是地区的 instance 和那个另外客体在那个客体的邻和那个另外客体在那个客体的外和那个另外客体是 located 在那个第三客体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	如果物理是 Catheter 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，那个另外实体BJ， and 和第四实体这样那个另外实体是生物的 instance 和那个实体是运动的 instance 和移动那个实体 and 那个另外实体BJ 和那个第四实体在那个另外实体的外和那个物理%n是那个实体发生的path 和那个第四实体是那个实体的源头和那个实体在那个另外实体结束或那个另外实体是那个实体的源头和那个实体在那个第四实体结束
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4350-4357	如果物理是 OutboardEngine 的 instance，然后那个物理的目的是有存在实体这样那个实体是水车的 instance 和那个物理接上那个实体和那个物理在那个实体的外
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9507-9519	如果物理是植物根的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个物理是导致那个实体的 instrument 和那个第三实体是那个实体的源头和那个第三实体在那个物理的外和 objectTransferred 那个实体 and 那个另外实体和那个另外实体是淡水的 instance 或那个另外实体是营养的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4669-4680	如果物理是 VehicleRoofRack 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是转移的 instance 和那个第三实体是那个实体的 patient 和那个另外实体是汽车的 instance 和那个物理在那个另外实体的外和那个第三实体接上那个物理和那个物理是那个另外实体的 part 和那个另外实体是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11691-11701	如果客体是外骨骼的 instance，然后有存在另一个客体这样那个另外客体是动物的 instance 和那个客体是那个另外客体的 part 和不存在第三客体这样那个第三客体是那个另外客体的 properPart 和那个第三客体在那个客体的外
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9124-9127	如果客体是另一个客体的 part，然后那个客体不在那个另外客体的外

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